Symbol: rep_halt_input