1  
 2  program test.alpha {
 3      function x(constant y: u32) -> u8 {
 4          if y < 5u32 {
 5              x(y+1u32);
 6          }
 7      }
 8  
 9      function main(y: bool) -> bool {
10          x(1u32);
11          return y;
12      }
13  }