module DES_ABSTRACT (DES, BIT_ABSTRACT) is

process MAIN [CRYPT: CB, KEY, DATA, OUTPUT: C64] is
   DES [CRYPT, KEY, DATA, OUTPUT]
end process

end module