MAXINTERNAL
if ( (fnum = fontname[font].number) > MAXINTERNAL || fnum < 0 )
char seenfonts[MAXINTERNAL+1];