/*
** halt.h
**
*/

void		halt(char *format,...);