model_names       286 src/dps8/dps8_prt.c static const char * model_names[N_MODELS] =
model_names      1812 src/dps8/dps8_prt.c              if (strcmp (cptr, model_names[i]) == 0)
model_names      1831 src/dps8/dps8_prt.c     sim_printf("model    : %s", model_names[prt_state[n].model]);