RteGen.Options
module DoShift : Frama_c_kernel.Parameter_sig.Bool
module DoDivMod : Frama_c_kernel.Parameter_sig.Bool
module DoFloatToInt : Frama_c_kernel.Parameter_sig.Bool
module DoInitialized : Frama_c_kernel.Parameter_sig.Kernel_function_set
module DoMemAccess : Frama_c_kernel.Parameter_sig.Bool
module DoPointerCall : Frama_c_kernel.Parameter_sig.Bool
module Trivial : Frama_c_kernel.Parameter_sig.Bool