1  program test.alpha {
 2      const N: u32 = 2u32;
 3      const M: u32 = 1u32;
 4      transition main() -> u32 {
 5          let arr: [u32; 10u8] = [3u32; 10u8];
 6          let arr1: [u32; 10u8] = [3u32; 10];
 7          let arr2 = [3u32; 10];
 8          let arr3: [u8; N + M] = [1, 2, 3];
 9          arr3 = [0; N + M];
10          return arr3[0] as u32 + [42u32; 3][2];
11      }
12  }