#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) {
  void *a = malloc(length);
  if (!a)
    die("Out of memory");
  return a;
}
