1  
 2  program test.alpha {
 3      mapping Yo: u32 => u32;
 4  
 5      async transition main() -> Future {
 6          let f: Future = finalize_main(1u32, 1u32);
 7          return f;
 8      }
 9  
10      async function finalize_main(a:u32, b:u32) {
11          Mapping::set(Yo, a, b);
12      }
13  }