1  
2  program test.alpha {
3      transition main(a: bool, b: bool) -> (bool, u64) {
4          let t: (bool, bool) = (a, b);
5  
6          return (t.0, t.1); // The second element should be type u64 as in the function declaration.
7      }
8  }