1  int a = 1, b;
       2  
       3  g () { return 0; }
       4  h (x) {}
       5  
       6  f ()
       7  {
       8    if (g () == -1)
       9      return 0;
      10    a = g ();
      11    if (b >= 1)
      12      h (a);
      13    return 0;
      14  }
      15  
      16  main ()
      17  {
      18    f ();
      19    if (a != 0)
      20      abort ();
      21    exit (0);
      22  }