1int gfbyte ( void ) 2{ 3 return 0; 4} 5 6int 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 31