Catch
The primitive is the special exception catching primitive. Its sole purpose is to fail, causing an actual continuation to be built. The exception raising mechanism searches for such a continuation to find a suitable handler function.