DES.SAV - это дизассемблер, имеет только входные текстовые параметры - имя файла на трансляцию. Не следует его путать с ковырялкой DESS.SAV .
В 1986 г. DES.SAV был на диске RT-11 V4.хх - из надежных несоветских источников.