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