DES_is_weak_key.3 revision 233294