1  
 2  program test.alpha {
 3  
 4      mapping values: scalar => group;
 5  
 6      async transition foo() -> Future {
 7          let a: scalar = ChaCha::rand_scalar();
 8          return finalize_foo(a);
 9      }
10  
11      async function finalize_foo(a: scalar) {
12          let b: group = ChaCha::rand_group();
13          values.set(a, b);
14      }
15  }