1  program test.alpha;
 2  
 3  mapping data:
 4      key as address.public;
 5      value as [boolean; 8u32].public;
 6  
 7  function foo:
 8      input r0 as [boolean; 8u32].private;
 9      async foo self.caller r0 into r1;
10      output r1 as test.alpha/foo.future;
11  
12  finalize foo:
13      input r0 as address.public;
14      input r1 as [boolean; 8u32].public;
15      set r1 into data[r0];