Symbol: aucc_halt_input