1  program inline_no_shadowing.alpha {
 2      inline square(x: u32) -> u32 {
 3          return x * x;
 4      }
 5  
 6      transition main(a: u32, b: u32) -> u32 {
 7          let first: u32 = square(a);
 8          let second: u32 = square(b);
 9          return first + second;
10      }
11  }