1  int v;
       2  
       3  main ()
       4  {
       5    f ();
       6    exit (0);
       7  }
       8  
       9  h1 ()
      10  {
      11    return 0;
      12  }
      13  
      14  h2 (e)
      15       int *e;
      16  {
      17    if (e != &v)
      18      abort ();
      19    return 0;
      20  }
      21  
      22  g (c)
      23       char *c;
      24  {
      25    int i;
      26    int b;
      27  
      28    do
      29      {
      30        i = h1 ();
      31        if (i == -1)
      32  	return 0;
      33        else if (i == 1)
      34  	h1 ();
      35      }
      36    while (i == 1);
      37  
      38    do
      39      b = h2 (&v);
      40    while (i == 5);
      41  
      42    if (i != 2)
      43      return b;
      44    *c = 'a';
      45  
      46    return 0;
      47  }
      48  
      49  
      50  f ()
      51  {
      52    char c;
      53    g (&c);
      54  }