Symbol: dummy_set_halt_and_wedge