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