1  
 2  program test.alpha {
 3      struct bar {
 4          data: u8,
 5      }
 6  
 7      transition foo(a: [bar; 8]) -> u8 {
 8          return a[0u8].data;
 9      }
10  }