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 f3(u2: u8, u3: i16) -> u8 {
10          return 0u8;
11      }
12  
13      transition main(id_type: i8, s: u8) -> u8 {
14          let x: i8 = 1i8;
15          x = f1(1u8);
16  
17          let y: i8 = 1i8;
18          let z: i16 = 100i16;
19          y = f3(y, z);
20          return s;
21      }
22  }