prom_halt
extern void prom_halt(void);
prom_halt ();
prom_halt();
prom_halt();
prom_halt();
void __noreturn prom_halt(void);
void prom_halt(void) __attribute__ ((noreturn));
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();
prom_halt();