badread
static void badread(int, char *);
badread(nr, "no symbol table");
badread(nr, "corrupted symbol table");