1  
 2  program test.alpha {
 3      function main(y: bool) -> bool {
 4          return y;
 5      }
 6  
 7      function main(y: bool) -> bool {
 8          return y;
 9      }
10  }