#ifndef _FATAL_H_aa97e798_
#define _FATAL_H_aa97e798_

extern void fatal(const char *, ...)
	__attribute__((__format__(__printf__,1,2),__noreturn__));

#endif