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