***NO_CI*** making extracted interfaces default in examples
***NO_CI*** making extracted interfaces default in examples

FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar