1  program test.alpha;
 2  
 3  function bar:
 4      async bar into r0;
 5      output r0 as test.alpha/bar.future;
 6  
 7  finalize bar:
 8      assert.eq checksum checksum;
 9      assert.eq edition edition;
10      assert.eq program_owner program_owner;