1  
 2  program test.alpha {
 3  
 4      function f1(a: u8) -> u8 {
 5          let b: u8 = a + 1u8;
 6          return b;
 7      }
 8  
 9      function f1(a: u8) -> u8 {
10          return a * 100u8;
11      }
12  
13      transition main(id_type: i8, s: u8) -> u8 {
14          let x: u8 = 1u8;
15          x = f1(1u8);
16  
17          let y: u8 = 1u8;
18          y = f1(y);
19          return s;
20      }
21  }