In untyped-debugger-lang, changed (unseal ...) to (leave-contour ...) and gave it a dedicated contour label rather than conflating it with the function parameter.