forward_globaldec.cvc 75 B

12345
  1. int foo() {
  2. return glob; // glob is not yet defined here
  3. }
  4. int glob;