[PD] Dynamic Patching: Closing Abstractions without Save