[PD] ehu abstractions (finally) released