1  int c = -1;
       2  
       3  foo (p)
       4       int *p;
       5  {
       6    int x;
       7    int a;
       8  
       9    a = p[0];
      10    x = a + 5;
      11    a = c;
      12    p[0] = x - 15;
      13    return a;
      14  }
      15  
      16  int main()
      17  {
      18     int b = 1;
      19     int a = foo(&b);
      20  
      21     if (a != -1 || b != (1 + 5 - 15))
      22       abort ();
      23  
      24     exit (0);
      25  }
      26