/* Firmware code segment */