prt_ext_pos      1061 src/dps8/dps8_crdpun.c             char * prt_ext_pos = strstr (new_target_filename, ".pun");
prt_ext_pos      1062 src/dps8/dps8_crdpun.c             if (prt_ext_pos)
prt_ext_pos      1064 src/dps8/dps8_crdpun.c                 char * random_start_pos = prt_ext_pos - 6;
prt_ext_pos      1203 src/dps8/dps8_prt.c             char * prt_ext_pos = strstr (new_target_filename, ".prt");
prt_ext_pos      1204 src/dps8/dps8_prt.c             if (prt_ext_pos)
prt_ext_pos      1206 src/dps8/dps8_prt.c                 char * random_start_pos = prt_ext_pos - 6;
prt_ext_pos      2217 src/dps8/dps8_prt.c                     char * prt_ext_pos = strstr (new_target_filename, ".prt");
prt_ext_pos      2218 src/dps8/dps8_prt.c                     if (prt_ext_pos)
prt_ext_pos      2220 src/dps8/dps8_prt.c                         char * random_start_pos = prt_ext_pos - 6;