Symbol: halt_bit_t