/* snippets for test < 255 */
while(tmpcounter++<256 && (c=fgetc(ifp))) /* this is totally bogus */
	{
	 c=fgetc(ifp); /* as is this that goes with it */
	 pagebuffer[tmpcounter]=c; /* ..and this .... */
	 }


/* here we get a little more serious */
for(tmpcounter=0; tmpcounter < 256; tmpcounter++)
 {while
   ((c=pagebufer[tmpcounter]== .file terminator..?..));
   } 
/* ok, here we really get serious */
for(tmpcounter=0; tmpcounter < 256; tmpcounter++)   
	{
	  c=pagebufer[tmpcount];
	  state = 4*raflag + 2*haflag + underbudget; /* underbudget all but assumed here */
	  switch state
	  {
	   case 0: print(" even state index encountered);
	   case 1: /* not holding, not reading */
	     {
	      wordscounter = 0;
	      wordbuffer[wordscounter]=c;
	      haflag=1; /* haflag true: now hlding alpha */
	      }
	   case 2: print(" even state index encountered);
	   case 3: /* holding but not reading */
	      { /* flush wordboffer */
	        for(i=0; i<wordscounter; i++)
		  pageoutbuffer[pageoutcount++]=wordbuffer[i];
		pageoutbuffer[pageoutcount++]=c; /* including currently held character */
		haflag=0;
		}
	  case 4: print(" even state index encountered);
	  case 5: /* holding but not reading */    
	     {
	      wordbuffer[wordscounter++]=c;
	      haflag=1;
	      }
	  case 6: print(" even state index encountered);
	  case 7: /* holding but not reading */    
	     {
	      wordbuffer[wordscounter++]=c;
	      haflag=1;
	      }