extern struct _IO_FILE *stderr;
typedef long integer;
typedef unsigned char byte;
short nl;
byte * tfmfilearray;
integer charbase, ligkernbase;
unsigned char charsonline;
short c;
unsigned short r;
struct {
  short cc;
  integer rr;
} labeltable[259];
short sortptr;
unsigned char activity[(32510) + 1];
integer ai, acti;
extern void _IO_putc (char, struct _IO_FILE *);

void
mainbody (void)
{
  register integer for_end;
  if (c <= for_end)
    do {
      if (((tfmfilearray + 1001)[4 * (charbase + c) + 2] % 4) == 1)
	{
	  if ( r < nl )
	    ;
	  else
	    {
	      while (labeltable[sortptr ].rr > r)
		labeltable[sortptr + 1 ]= labeltable[sortptr];
	    }
	}
    } while (c++ < for_end);

  if (ai <= for_end)
    do {
      if (activity[ai]== 2)
	{
	  r = (tfmfilearray + 1001)[4 * (ligkernbase + (ai))];
	  if (r < 128)
	    {
	      r = r + ai + 1 ;
	      if (r >= nl)
		{
		  if (charsonline > 0)
		    _IO_putc ('\n', stderr);
		}
	    }
	}
    } while (ai++ < for_end);
}