Symbol: QED_OVERFLOW_BIT