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