saveptr          2025 src/dps8/dps8_fnp2.c     char * saveptr;
saveptr          2029 src/dps8/dps8_fnp2.c     tok = strtok_r (sn, ":", & saveptr);
saveptr          2047 src/dps8/dps8_fnp2.c         tok = strtok_r (NULL, ":", & saveptr);
saveptr          2083 src/dps8/dps8_fnp2.c         tok    = strtok_r (NULL, ":", & saveptr);
saveptr          2091 src/dps8/dps8_fnp2.c         tok = strtok_r (NULL, ":", & saveptr);
saveptr          2102 src/dps8/dps8_fnp2.c         tok         = strtok_r (NULL, ":", & saveptr);