1  
 2  program test.alpha {
 3      async function foo() {
 4          let c: [u8; 32] = Program::checksum(test.alpha);
 5          let d: [u8; 31] = Program::checksum(credits.alpha);
 6          assert_neq(c, d);
 7  
 8          let e: u16 = Program::edition(d);
 9          let f: u8 = Program::edition(credits.alpha);
10          assert_neq(e, f);
11      }
12  
13      async transition bar() -> Future {
14          return foo();
15      }
16  }