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