1  
 2  program test.alpha {
 3      transition foo(a: [bool; 1]) -> bool {
 4          return true;
 5      }
 6  
 7      transition bar(a: [bool; 32]) -> bool {
 8          return true;
 9      }
10  }