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