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