to explicitly represent exceptional control flow, so that we can put refcounting
operations on it.