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