1  program b28676.alpha {
2      transition main() {
3          let a: [u32; 111111111111111u8] = [1u32]; // overflow
4          let b: [u32; 111111111111111] = [1u32]; // overflow
5          let c: [u32; 1u128] = [1u32]; // okay
6          let d: [u32; 513u128] = [1u32]; // passes limits
7          let e: [u32; 513] = [1u32]; // passes limits
8      }
9  }