1  program test.alpha;
 2  
 3  mapping expected:
 4      key as boolean.public;
 5      value as [u8; 32u32].public;
 6  
 7  mapping admin:
 8      key as boolean.public;
 9      value as address.public;
10  
11  function set_expected:
12      input r0 as [u8; 32u32].private;
13      async set_expected self.caller r0 into r1;
14      output r1 as test.alpha/set_expected.future;
15  
16  finalize set_expected:
17      input r0 as address.public;
18      input r1 as [u8; 32u32].public;
19      get admin[true] into r2;
20      assert.eq r0 r2;
21      set r1 into expected[true];
22  
23  constructor:
24      gt edition 0u16 into r0;
25      branch.eq r0 false to end_then_0_0;
26      get expected[true] into r1;
27      assert.eq r1 checksum;
28      branch.eq true true to end_otherwise_0_1;
29      position end_then_0_0;
30      set program_owner into admin[true];
31      position end_otherwise_0_1;
32