sig
val enable : bool -> unit
val is_enabled : unit -> bool
val handle_function_parameters :
Cil_types.kernel_function -> Env.t -> Env.t
val handle_stmt :
Cil_types.stmt -> Env.t -> Cil_types.kernel_function -> Env.t
val generate_global_init :
Cil_types.varinfo ->
Cil_types.offset -> Cil_types.init -> Cil_types.stmt option
end