[cctalk] Re: PDP-10 TENEX mini-dump format