#ifndef _HALT_H_
#define _HALT_H_

void halt();
void panic(char *msg);

#endif