Re: PRINTPTRDIFFT on pike 7.5