functor (SC : Netsys_crypto_types.SYMMETRIC_CRYPTO->
  Netsys_crypto_types.SYMMETRIC_CRYPTO