namespace;
include rt;

// expect: x: is not an owner, so it can't be stored in a global
struct box { int* v; };
let g;
fn main() { box* b = rt.new(box); int* x = rt.new(int); b.v = x; g = x; return 0; }