1  program test.alpha;
 2  
 3  function foo:
 4      input r0 as [boolean; 8u32].private;
 5      async foo r0 into r1;
 6      output r1 as test.alpha/foo.future;
 7  
 8  finalize foo:
 9      input r0 as [boolean; 8u32].public;
10      assert.eq true true;