[PD] s-abstractions lib