1  static int i;
       2  
       3  void
       4  check(x)
       5       int x;
       6  {
       7    if (!x)
       8      abort();
       9  }
      10  
      11  main()
      12  {
      13    int *p = &i;
      14  
      15    check(p != (void *)0);
      16    exit (0);
      17  }