saveptr          1982 src/dps8/dps8_fnp2.c     char * saveptr;
saveptr          1986 src/dps8/dps8_fnp2.c     tok = strtok_r (sn, ":", & saveptr);
saveptr          2004 src/dps8/dps8_fnp2.c         tok = strtok_r (NULL, ":", & saveptr);
saveptr          2040 src/dps8/dps8_fnp2.c         tok    = strtok_r (NULL, ":", & saveptr);
saveptr          2048 src/dps8/dps8_fnp2.c         tok = strtok_r (NULL, ":", & saveptr);
saveptr          2058 src/dps8/dps8_fnp2.c         tok         = strtok_r (NULL, ":", & saveptr);