1 extern int glob;
2 extern /*@only@*/ int *ogp;
3 
f(void)4 int f (void) /*@globals undef glob, killed ogp;@*/
5 {
6   free (ogp);
7   return glob;
8 }
9 
10 # if 0
11 static int sglob;
12 static /*@only@*/ int *sogp;
13 
14 int f1 (void) /*@globals undef sglob, killed sogp;@*/
15 {
16   free (sogp);
17   return sglob;
18 }
19 
20 # endif
21