Symbol: FAS_BUSID_32BIT_COUNTER