1  
 2  program test.alpha {
 3      inline get_bit(number: u32, i: u8) -> bool {
 4          let mask: u32 = 1u32 << i;
 5          return number.and(mask) > 0u32;
 6      }
 7  
 8      inline get_cell_occupant(board: u32, i: u8) -> u8 {
 9          return get_bit(board, i) ? 2u8 : 1u8;
10      }
11  
12      transition make_move(board: u32, i: u8) -> u8 {
13          return get_cell_occupant(board, i);
14      }
15  }