1  program test.alpha;
 2  
 3  function matches:
 4      input r0 as i64.private;
 5      async matches r0 into r1;
 6      output r1 as test.alpha/matches.future;
 7  
 8  finalize matches:
 9      input r0 as i64.public;
10      assert.eq r0 block.timestamp;