1  int gfbyte ( void ) 
       2  {
       3   return 0;
       4  } 
       5  
       6  int main( void ) 
       7  {
       8   int i,j,k ;
       9  
      10   i = gfbyte();
      11  
      12   i = i + 1 ;
      13  
      14   if ( i == 0 ) 
      15       k = -0 ;
      16   else
      17       k = i + 0 ;
      18  
      19   if (i != 1)
      20     abort ();
      21  
      22   k = 1 ;
      23   if ( k <= i)
      24       do 
      25  	 j = gfbyte () ;
      26       while ( k++ < i ) ;
      27  
      28   exit (0);
      29  } 
      30