-R ../../FCF/src/FCF FCF
-R src HKE
src/KeyExchange.v
src/KeyExchange_ROM.v
src/HybridKE.v
src/HybridKE_ROM.v
src/HybridKE_Cascade_ROM.v