1  
2  program test.alpha {
3      transition foo(a: [bool; 8]) -> bool {
4          return a[0u32];
5      }
6  }