> I would still like to keep explicit handler fields in non-tail > calls. Sure. The Push'es and Pop's are redundant (although we might check them). They are only used to provide hints to the backend pass that must decide how and when to install handlers.