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