Symbol: BIOS_MAX_NUM_RECORD