1  
2  program test.alpha {
3      transition main(a: u32, a: u32) -> u32 {
4          return a;
5      }
6  }