ptl.hpp:  Use fully qualify size_t