1  
 2  program test.alpha {
 3  
 4      function one(n: u8) -> u8 {
 5          return two(n);
 6      }
 7  
 8      function two(n: u8) -> u8 {
 9          return three(n) + four(n);
10      }
11  
12      function three(n: u8) -> u8 {
13          return one(n);
14      }
15  
16      function four(n: u8) -> u8 {
17          return one(n);
18      }
19  
20      transition five(n: u8) -> u8 {
21          return six(n);
22      }
23  
24      transition six(n: u8) -> u8 {
25          return seven(n) + eight(n);
26      }
27  
28      transition seven(n: u8) -> u8 {
29          return five(n);
30      }
31  
32      transition eight(n: u8) -> u8 {
33          return five(n);
34      }
35  }