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      const N:u32 = 10;
13      transition main() -> u32 {
14          let sum = 0u32;
15          for i: u32 in 1..N {
16              sum += foo::[i]();
17          }
18          return sum;
19      }
20  
21      inline foo::[P: u32]() -> u32 {
22          let arr = [P; P];
23          return arr[P-1];
24      }
25  
26      @noupgrade
27      async constructor() {}
28  }