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