No procedure is allowed to return to its caller—ever. Procedures can take a callback to invoke upon their return value.

A continuation is a first-class return point.