1  
 2  program test.alpha {
 3      transition main(a: u32, b: u32, y: bool) -> u32 {
 4          if y {
 5             return adder(a, b);
 6          } else {
 7              return subber(a, b);
 8          }
 9      }
10  
11      transition adder(a: u32, b: u32) -> u32 {
12          return a + b;
13      }
14  
15      transition subber(a: u32, b: u32) -> u32 {
16          return a - b;
17      }}