1  
 2  program test.alpha {
 3      mapping data: address => [bool; 8];
 4  
 5      async transition foo(a: [bool; 8]) -> Future {
 6          return fin_foo(self.caller, a);
 7      }
 8  
 9      async function fin_foo(caller: address, a: [bool; 8]) {
10          data.set(caller, a);
11      }
12  }