struct foo { int x; }; struct bar { int z; foo f; }; fun main() -> int@ { let b = @bar{f= @foo{x=2}, z=2}; return b.z - b.f.x; }