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