main :: () -> void {
  b := false;
  if b {
    print_u64 1;
  } else {
    print_u64 2;
  }
};