1  program test.alpha;
 2  
 3  mapping map:
 4      key as u32.public;
 5      value as u32.public;
 6  
 7  function main:
 8      async main 1u32 into r0;
 9      output r0 as test.alpha/main.future;
10  
11  finalize main:
12      input r0 as u32.public;
13      is.eq r0 1u32 into r1;
14      branch.eq r1 false to end_then_0_0;
15      set 2u32 into map[2u32];
16      branch.eq true true to end_otherwise_0_1;
17      position end_then_0_0;
18      position end_otherwise_0_1;