1  
2  program test.alpha {
3      transition foo(x: u32, y: i32) -> u32 {
4          return 0u32;
5      }
6  }