1  
 2  
 3  program test.alpha {
 4      struct s1 {
 5          f1: u32,
 6          f2: u32
 7      }
 8      struct s1 {
 9          f1: u32,
10          f2: u32,
11          f3: u32
12      }
13  
14      transition main(id_type: i8, s: s1) -> u32 {
15          let x: u32 = s.f1;
16          x = x + 1u32;
17          return x;
18      }
19  }
20