trying functor-style encryption
 trying functor-style encryption
Merge branch 'master' of https://github.com/FStarLang/FStar