main :: () -> void {
  a :u64= 2;
  a += (if a == 2 1 else 2);
  print_u64 a;
};