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