1  
 2  program test.alpha {
 3      transition main(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  }