1  
 2  program test.alpha {
 3      transition tester(hi: u8) -> u8 {
 4          let hi = 2u8;
 5          return hi;
 6      }
 7  
 8      transition main(y: bool) -> bool {
 9          return y;
10      }}