1  program test.alpha {
 2      async transition main(a: u16) -> Future {
 3          return finalize_main(a);
 4      }
 5  
 6      async function finalize_main(a: u16) {
 7          assert_eq(1u16, network.id);
 8          assert_eq(a, network.id);
 9          assert_eq(network.id, network.id);
10      }
11  }