main() { x := 0 if x == 1 { x = 2 } else { x = 3 } assert x == 3 }