 /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 LowStar.Lib.AssocList.fsti -o obj/LowStar.Lib.AssocList.fsti.checked && touch obj/LowStar.Lib.AssocList.fsti.checked
