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