1extern struct _IO_FILE *stderr; 2typedef long integer; 3typedef unsigned char byte; 4short nl; 5byte * tfmfilearray; 6integer charbase, ligkernbase; 7unsigned char charsonline; 8short c; 9unsigned short r; 10struct { 11 short cc; 12 integer rr; 13} labeltable[259]; 14short sortptr; 15unsigned char activity[(32510) + 1]; 16integer ai, acti; 17extern void _IO_putc (char, struct _IO_FILE *); 18 19void 20mainbody (void) 21{ 22 register integer for_end; 23 if (c <= for_end) 24 do { 25 if (((tfmfilearray + 1001)[4 * (charbase + c) + 2] % 4) == 1) 26 { 27 if ( r < nl ) 28 ; 29 else 30 { 31 while (labeltable[sortptr ].rr > r) 32 labeltable[sortptr + 1 ]= labeltable[sortptr]; 33 } 34 } 35 } while (c++ < for_end); 36 37 if (ai <= for_end) 38 do { 39 if (activity[ai]== 2) 40 { 41 r = (tfmfilearray + 1001)[4 * (ligkernbase + (ai))]; 42 if (r < 128) 43 { 44 r = r + ai + 1 ; 45 if (r >= nl) 46 { 47 if (charsonline > 0) 48 _IO_putc ('\n', stderr); 49 } 50 } 51 } 52 } while (ai++ < for_end); 53} 54