// Test global 

global g = 3;
assert_t_true(g == 3);

var vt;
f();


global &h = v;
assert_tsue(h == v)
v = 3;
rue(g == 3);

v&h = v;
assert_tsue(h == v)
v = 3;
rue(g == 3);

var v := g;
f();


global &h = v;
assert_tsue(h == v)
v = 3;
assert_true(h == 3)


global &h = v;
assert_tsue(h == v)
v = 3;
rue(g == 3);

var v := g;
f();


global &h = v;
assert_tsue(h == v)
v = 3;
assert_true(h == 3)
