1 extern struct _IO_FILE *stderr; 2 typedef long integer; 3 typedef unsigned char byte; 4 short nl; 5 byte * tfmfilearray; 6 integer charbase, ligkernbase; 7 unsigned char charsonline; 8 short c; 9 unsigned short r; 10 struct { 11 short cc; 12 integer rr; 13 } labeltable[259]; 14 short sortptr; 15 unsigned char activity[(32510) + 1]; 16 integer ai, acti; 17 extern void _IO_putc (char, struct _IO_FILE *); 18 19 void mainbody(void)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