# include <stdio.h>
# include "util.h"
int r_i(f)
    FILE * f;
    {
    int i;
    fscanf(f, "%d", &i);
    return i;
    }
VOID w_i(f,i)
    FILE * f;
    int i;
    {
    fprintf(f, "%d ", i);
    }

VOID n_l(f)
    FILE * f;
    {
    fprintf(f, "\n");
    }

VOID read_header(f,s)
    FILE *f;
    char * s;
    {
    char buff[256];
    (void) fscanf(f,"%s",buff);
    if (strcmp(buff,s) == 0) return;
    fprintf(stderr, "Header mismatch\n");
    abort();
    }

VOID write_header(f,s)
    FILE *f;
    char * s;
    {
    fprintf(f, "%s\n", s);
    }