[PD] abstractions which have their own memory