opt_UF_HiFileThreshold = lookup_def_int "-funfolding-interface-threshold" (30::Int)
opt_UF_CreationThreshold = lookup_def_int "-funfolding-creation-threshold" (30::Int)
opt_UF_UseThreshold = lookup_def_int "-funfolding-use-threshold" (8::Int) -- Discounts can be big
opt_UF_HiFileThreshold = lookup_def_int "-funfolding-interface-threshold" (30::Int)
opt_UF_CreationThreshold = lookup_def_int "-funfolding-creation-threshold" (30::Int)
opt_UF_UseThreshold = lookup_def_int "-funfolding-use-threshold" (8::Int) -- Discounts can be big