1  // The 'hello' program.
 2  program hello.alpha {
 3      transition main(public a: u32, b: u32) -> u32 {
 4          let c: u32 = a + b;
 5          return c;
 6      }
 7  
 8      // The constructor is configured to prevent upgrades.
 9      @noupgrade
10      async constructor() {}
11  }