Re: [PD] patching dynamically in abstractions ...