#ifndef _FATAL_H_62e36fb1_
#define _FATAL_H_62e36fb1_

/* This file is in the public domain. */

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

#endif