module DES_CONCRETE (DES, BIT_CONCRETE) is

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

end module