1  
 2  program test.alpha {
 3      struct S {
 4          x: (),
 5          y: u8,
 6      }
 7  
 8      transition main(x: ()) {}
 9  
10      transition other(x: [(); 2]) {}
11  
12      transition yet_another() -> [(); 2] {}
13  
14  }