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