1  
 2  program test.alpha {
 3      transition foo0_to_0() {}
 4  
 5      transition foo0_to_1() -> u8 {
 6          return 1u8 + 1u8;
 7      }
 8  
 9      transition foo1_to_0(a: u8) {}
10  
11      transition foo1_to_1(a: u8) -> u8 {
12          return a * a;
13      }
14  }