1  
 2  program test.alpha {
 3      transition foo(a: [bool; 8]) -> bool {
 4          let x: bool = true;
 5          for i: u32 in 0u32..12u32 {
 6              x = a[i];
 7          }
 8          return x;
 9      }
10  }