1  
 2  program test.alpha {
 3      struct Foo {
 4          x: u32,
 5      }
 6  
 7      transition main() {
 8          let a: Foo = Foo { x: 1u32 };
 9          let err = a.y;
10      }
11  }