Symbol: esm_halt_input