1  
2  
3  program test.alpha {
4      transition foo(a: [bool; 4]) {
5          for i: u32 in 0u32..4u32 {
6              assert(a[i]);
7          }
8      }
9  }