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