chop_names        758 src/dps8/dps8_mgp.c static char *chop_names[] = {
chop_names        785 src/dps8/dps8_mgp.c       return chop_names[c];