1  program test.alpha {
2      transition main() -> u32 {
3          let x = 2u32;
4          let a: [u32; x] = [1u32];
5          return a[0];
6      }
7  }