1  
 2  program test.alpha {
 3      transition foo(a: [bool; 8]) -> bool {
 4          return true;
 5      }
 6  
 7      transition bar(a: [bool; 8]) -> [bool; 8] {
 8          return a;
 9      }
10  
11      function baz(a: [bool; 8]) -> bool {
12          assert(a[0u8]);
13          return true;
14      }
15  
16      function qux(a: [bool; 8]) -> [bool; 8] {
17          assert(a[0u8]);
18          return a;
19      }
20  }