Invokes

The primitive can invoke a function. If the function is a non-primitive (or a primitive that fails), the current continuation must be reified before the call.