1  program test.alpha {
 2      inline add(a: u32, b: u32) -> u32 {
 3          return a + b;
 4      }
 5  
 6      transition main(x: u32, y: u32) -> u32 {
 7          let result: u32 = add(x, y);
 8          return result;
 9      }
10  }