#define _GNU_SOURCE
#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>
#include "global.h"

__attribute__((noreturn, format (printf, 1, 2)))
void throw(const char *format,...){
	char *buf;
	va_list ap;
	va_start(ap,format);
	vasprintf(&buf,format,ap);
	va_end(ap);
	fprintf(stderr,"THROW: %s\n",buf);
	exit(1);
}