struct Foo{
	field x:ptr i32;
}


function foo(x:ref Foo){
	x->x // probably ok
	bar();
	x->x // is it still ok?
}