1  program test.alpha {
 2      const M: u32 = 5;
 3  
 4      mapping baz: u32 => u32;
 5  
 6      struct Goo::[P: u32] {
 7          g: M::[6],
 8          f: baz::[5],
 9      }
10  
11      transition main(g: Goo::[7u32]) -> u32 {
12          let x = 5u32;
13          let y: x::[5] = [3];
14  
15          return 0u32;
16      }
17  }