[PD] programming a load/unload of abstractions