 /opt/local/bin/fstar.exe --ext optimize_let_vc --odir .extract --warn_error @332 --cache_dir obj --include ../runtime --cmi --already_cached 'Prims FStar -FStar.Krml.Endianness LowStar -LowStar.Lib'  -c Spec.Loops.fst -o obj/Spec.Loops.fst.checked && touch obj/Spec.Loops.fst.checked
