1  program test.alpha;
 2  
 3  struct Board:
 4      foo as u8;
 5  
 6  function main:
 7      input r0 as u32.public;
 8      input r1 as u32.private;
 9      add r0 r1 into r2;
10      output r2 as u32.private;
11  
12  closure win:
13      input r0 as Board;
14      input r1 as u8;
15      assert.eq true true;
16      output false as boolean;