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]);