[PD] abstractions and dynamic patching