Symbol: UE_MAX_BITPOS_UPPER