Code Editor : stop_machine.h