1  
2  program test.alpha {
3      transition foo(a: [bool; 0]) -> bool {
4          let bar = [false; 0];
5          return true;
6      }
7  }