#include <stdio.h>
#include <stdarg.h>
#include <stdlib.h>
#include "basics.h"

void die(char *msg,...) {
  va_list args;
  fprintf(stderr,"Fatal error: ");
  va_start(args,msg);
  vfprintf(stderr,msg,args);
  fprintf(stderr,"\n");
  va_end(args);
  exit(1);
}

/* Could replace with a call to conservative gc's alloc */
void *alloc(int length) {
  return malloc(length);
}