pktype_names      757 src/dps8/dps8_mgp.c static char *pktype_names[] = {
pktype_names      772 src/dps8/dps8_mgp.c       return pktype_names[t];