1  
 2  program test.alpha {
 3  
 4      function foo(a: u8, b: u8) -> () {
 5          assert_eq(a, b);
 6      }
 7  
 8      transition main(a: u8, b: u8) -> u8 {
 9          foo(a, b);
10          return a + b;
11      }
12  }