• Support for finally blocks (catch_type == 0!)