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