dec_machine_halt
dec_machine_halt();
dec_machine_halt();
extern void dec_machine_halt(void);
dec_machine_halt();
_machine_halt = dec_machine_halt;
extern void dec_machine_halt(void);