1  program test.alpha {
2      inline foo::[M: u32](arr: [u32; 3]) -> u32 {
3          return arr[M - 1];
4      }
5  
6      transition main() -> u32 {
7          return foo::[3u32]([1, 2, 3]);
8      }
9  }