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)20 mainbody (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