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