record X { u32 a; u32 b; } main: u0() -> { X x; x.a = 5; x.b = 6; u32 c = x.a + x.b; return; };