main :: () -> void {
  b := true;
  if b print_u64 23;
};