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