, Flag "dppr-user-length" (AnySuffix addOpt) Supported
, Flag "dopt-fuel" (AnySuffix addOpt) Supported
, Flag "dno-debug-output" (PassFlag addOpt) Supported
+ , Flag "dstub-dead-values" (PassFlag addOpt) Supported
-- rest of the debugging flags are dynamic
--------- Profiling --------------------------------------------------
"fgransim",
"fno-hi-version-check",
"dno-black-holing",
- "fno-method-sharing",
"fno-state-hack",
"fno-ds-multi-tyvar",
"fruntime-types",