1  
 2  program test.alpha {
 3      transition main(a: u32) -> u32 {
 4          if a == 2u32 {
 5              return 3u32;
 6          } else {
 7              return 4u32;
 8          }
 9      }
10  }