FStarC_Options._version := "2026.03.24~dev";;
FStarC_Options._platform := "Darwin_arm64";;
FStarC_Options._compiler := "OCaml 5.4.1";;
FStarC_Options._date := "unset";;
FStarC_Options._commit:= "unset";;
