Symbol: snapper_halt_input