dec_machine_restart
_machine_restart = dec_machine_restart;
extern void dec_machine_restart(char *command);