1  program test.alpha {
2      mapping foo: u32 => u32;
3      async transition main(x: u32, y: u32) -> Future<Fn()> {
4          return ::main$0(::x, ::y);
5      }
6      async function main$0(x: u32, y: u32) {
7          _mapping_set(foo, ::x, ::y);
8      }
9  }