dumppkt 950 src/dps8/dps8_mgp.c dumppkt(char *hdr, word36 *buf, uint words) dumppkt 991 src/dps8/dps8_net.c dumppkt(char *hdr, word36 *buf, uint words)