There is one other form of return, MULTIPLE-VALUE-RETURN, and no reason not to expect there might be others some day. If someone can come up with a better solution that satisfies all the conflicting goals, it's fine with me.