Various utilities for the pex library