10 #define NUMCHARS 0x10000
12 extern char *programname
;
13 extern char *inputfilename
;
14 extern int inputlineno
;
16 extern FILE *ferr
, *fout
;
19 extern int pages_printed
;
20 extern int curpostfontid
;
21 extern int hpos
, vpos
;
29 extern struct strtab charcode
[];
36 void *galloc(void *, int, char *);
37 void pagelist(char *);