	Printing error messages on stderr

	The [[error()]] function accepts a [[printf]]-style variable
	length argument list, which it prints on [[stderr]]. It exits
	the program with exit code 1.

<<*>>=
#include <config.h>

EXPORT void error(const char *format,...)
{
    va_list args;
    va_start(args, format);
    vfprintf(stderr, format, args);
    va_end(args);
    exit(1);
}
