1  /*
 2  seed = 123456789
 3  min_height = 16
 4  
 5  [case]
 6  program = "test.alpha"
 7  function = "main"
 8  input = []
 9  */
10  
11  program test.alpha {
12      inline foo::[M: u32](arr: [u32; 3]) -> u32 {
13          return arr[M - 1];
14      }
15  
16      transition main() -> u32 {
17          return foo::[3u32]([1, 2, 3]);
18      }
19  
20      @noupgrade
21      async constructor() {}
22  }