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