#include <stdio.h>
#include <stdlib.h>

void warn(char *s)
{
   fprintf(stderr, "%s\n", s);
}

void stop(char *s)
{
   fprintf(stderr, "%s\n", s);
   exit(-1);
}