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
      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  }