1  import basic_voting.alpha;
 2  
 3  program vote_example.alpha {
 4      @checksum(mapping="basic_voting.alpha/approved_checksum", key="true")
 5      async constructor() {}
 6  
 7      transition main(public a: u32, b: u32) -> u32 {
 8          let c: u32 = a + b;
 9          return c;
10      }
11  
12      // Uncomment me to test the upgrade.
13      // transition foo() {}
14  }