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