struct Foo{
	field x:ptr i32;
}


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