Edit File: stop_machine.h