1  program test.alpha {
2      transition main(x: u32) -> u32 {
3          let temp: u32 = x + 1u32;
4          let result: u32 = temp * 2u32;
5          return result;
6      }
7  }