saveptr          2023 src/dps8/dps8_fnp2.c     char * saveptr;
saveptr          2027 src/dps8/dps8_fnp2.c     tok = strtok_r (sn, ":", & saveptr);
saveptr          2045 src/dps8/dps8_fnp2.c         tok = strtok_r (NULL, ":", & saveptr);
saveptr          2081 src/dps8/dps8_fnp2.c         tok    = strtok_r (NULL, ":", & saveptr);
saveptr          2089 src/dps8/dps8_fnp2.c         tok = strtok_r (NULL, ":", & saveptr);
saveptr          2099 src/dps8/dps8_fnp2.c         tok         = strtok_r (NULL, ":", & saveptr);