Real version of ptsv.h