/* * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands. * See the copyright notice in the ACK home directory, in the file "Copyright". */ #ifndef lint static char rcsid[] = "$Id$"; #endif #include <stdio.h> #include <stdlib.h> #include <stdint.h> #include <stdbool.h> int infile; /* The current input file. */ rd_fatal() { fatal("read error"); }