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