#include <stdio.h>

void fatal(char *s)
{
    fprintf(stderr, s);
    exit(1);
}
.