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