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