Disassembler for PDP-10 programs in ITS formats