crypt	<= 	crypt(buf,salt)
key	<=	set_odd_parity(key)
int	<=	is_weak_key(key)
keysched<=	set_key(key)
key	<=	ecb_encrypt(string8,ks,enc)
key	<=	ecb3_encrypt(input,ks1,ks2,enc)
string	<=	cbc_encrypt(input,ks,ivec,enc)			=> ivec 
string	<=	cbc3_encrypt(input,ks1,ks2,ivec1,ivec2,enc)	=> ivec1&ivec2 
ck1,ck2	<=	cbc_cksum(input,ks,ivec)			=> ivec
string	<=	pcbc_encrypt(input,ks,ivec,enc)			=> ivec 
string	<=	ofb_encrypt(input,numbits,ks,ivec)		=> ivec
string	<=	cfb_encrypt(input,numbits,ks,ivec,enc)		=> ivec
key	<=	random_key()
key	<=	string_to_key(string)
key1,key2<=	string_to_2keys(string)

