From Coq Require Extraction.

Require CSSH.

Extraction "SSH" SSH.
Extraction "CryptoPrims" CryptoPrims.