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