1  program test.alpha;
 2  
 3  closure x:
 4      input r0 as boolean;
 5      assert.eq true true;
 6      output 0u8 as u8;
 7  
 8  function t:
 9      input r0 as boolean.private;
10      call x r0 into r1;
11      output r1 as u8.private;