1  void foo (int *a) {}
       2  
       3  int main ()
       4  {
       5    int a;
       6    if (&a == 0)
       7      abort ();
       8    else
       9      {
      10        foo (&a);
      11        exit (0);
      12      }
      13  }