1  program test.alpha {
2      transition main(arr: [u32; N], arr2: [u32; N]) {
3      }
4  }