1  program test.alpha {
 2      transition main() -> u32 {
 3          return foo::[10]();
 4      }
 5  
 6      inline foo::[P: u32]() -> u32 {
 7          let sum = 0u32;
 8          for i: u32 in 1..P {
 9              let arr = [0u32; i];
10              for j: u32 in 0..i {
11                  arr[j] = i*i;
12              }
13  
14              for j: u32 in 0..i {
15                  sum += arr[j];
16              }
17          }
18          return sum;
19      }
20  }