which are filled in later, using these.
These are the default values, which may be changed by user flags.
\begin{code}
-$Oopt_UnfoldingUseThreshold = '-funfolding-use-threshold3';
+$Oopt_UnfoldingUseThreshold = '-funfolding-use-threshold8';
$Oopt_MaxSimplifierIterations = '-fmax-simplifier-iterations4';
$Oopt_PedanticBottoms = '-fpedantic-bottoms'; # ON by default
$Oopt_MonadEtaExpansion = '';