1  program test.alpha;
 2  
 3  function foo:
 4      input r0 as [boolean; 8u32].private;
 5      output true as boolean.private;
 6  
 7  function bar:
 8      input r0 as [boolean; 8u32].private;
 9      output r0 as [boolean; 8u32].private;
10  
11  closure baz:
12      input r0 as [boolean; 8u32];
13      assert.eq r0[0u32] true;
14      output true as boolean;
15  
16  closure qux:
17      input r0 as [boolean; 8u32];
18      assert.eq r0[0u32] true;
19      output r0 as [boolean; 8u32];