1int x, y, z;
2
3int useGlob (int a) int x, y, z;
4{
5   ensures true;
6}
7
8int dontuseGlob (int a)
9{
10   ensures true;
11}
12
13int callsUseGlob (int a) int x;
14{
15  ensures true;
16}
17