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