1  program test.alpha {
 2      record Foo::[N: u32] {
 3          owner: address,
 4          arr: [u8; N],
 5      }
 6  
 7      record Bar::[N: field] {
 8          owner: address
 9      }
10  
11      transition foo() {}
12  }