1  program test.alpha {
2      async transition constructor(x: u8) -> u8 {
3          return 1u8;
4      }
5  }