1  
 2  program test.alpha {
 3      function foo(a: u8, b: u8) -> (u8, u8) {
 4          if (a == b) {
 5              return (a, b);
 6          }
 7          let c: u8 = a + b;
 8          let d: u8 = a - b;
 9          return (c, d);
10      }
11  
12      transition bar(flag: bool, a: u8, b: u8) -> (u8, u8) {
13          let start: (u8, u8) = foo(a, b);
14          if flag {
15              start = foo(start.0, start.1);
16          } else {
17  
18              start = foo(start.1, start.0);
19          }
20          return start;
21      }
22  }