functor (C : CIPHERS-> Netsys_crypto_types.SYMMETRIC_CRYPTO