"dno-black-holing",
"fno-state-hack",
"fsimple-list-literals",
- "fno-ds-multi-tyvar",
"fruntime-types",
"fno-pre-inlining",
"fexcess-precision",
"fmax-worker-args",
"fhistory-size",
"funfolding-creation-threshold",
+ "funfolding-dict-threshold",
"funfolding-use-threshold",
"funfolding-fun-discount",
"funfolding-keeness-factor"