charset          1053 src/dps8/dps8_crdpun.c             const char charset []  = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz";
charset          1054 src/dps8/dps8_crdpun.c             const int charset_size = sizeof (charset) - 1;
charset          1057 src/dps8/dps8_crdpun.c               new_random_part [i] = charset [random () % charset_size];
charset          1193 src/dps8/dps8_prt.c             const char charset []  = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz";
charset          1194 src/dps8/dps8_prt.c             const int charset_size = sizeof (charset) - 1;
charset          1198 src/dps8/dps8_prt.c                 new_random_part [i] = charset [random () % charset_size];
charset          2207 src/dps8/dps8_prt.c                     const char charset []  = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz";
charset          2208 src/dps8/dps8_prt.c                     const int charset_size = sizeof (charset) - 1;
charset          2212 src/dps8/dps8_prt.c                         new_random_part [j] = charset [random () % charset_size];