FStarC_Options._version := "2026.06.28~dev";;
FStarC_Options._platform := "Linux_x86_64";;
FStarC_Options._compiler := "OCaml 5.4.0";;
FStarC_Options._date := "2026-06-28 14:49:29 -0700";;
FStarC_Options._commit:= "54833db18bc8475b8359b01c7b776e242433fffd";;
