1  
 2  // TODO: Compilation should pass, but warnings should be emitted.
 3  
 4  program test.alpha {
 5      transition foo(a: u8, b: u8) -> u8 {
 6          let c: (u8) = (a);
 7          let d: (u8) = (3u8 + 4u8);
 8          return a + b;
 9      }
10  }
11