test/glob.lcl

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