```py print(exit()) print("hi") # error: unreachable ``` I would expect the first `print` to also be unreachable