1  
 2  program test.alpha {
 3      function foo(n: u8) -> u8 {
 4          return bar(n);
 5      }
 6  
 7      function bar(n: u8) -> u8 {
 8          return foo(n);
 9      }
10  
11      transition baz(n: u8) -> u8 {
12          return bax(n);
13      }
14  
15      transition bax(n: u8) -> u8 {
16          return baz(n);
17      }
18  }