3 extern /*@truenull@*/ bool isnull(/*@null@*/ int *x);
4 extern /*@falsenull@*/ bool notnull(/*@null@*/ int *x);
5 extern /*@falsenull@*/ char badnull (/*@null@*/ int *x);
6 extern /*@falsenull@*/ bool worsenull (/*@null@*/ int *x, int t);
8 int g1 (/*@null@*/ int *y)
18 int g2 (/*@null@*/ int *y)
30 int g3 (/*@null@*/ int *y)