sig   val set_cmdline_stage : Cmdline.stage -> unit   val do_not_journalize : unit -> unit   val do_not_projectify : unit -> unit   val do_not_reset_on_copy : unit -> unit   val do_not_save : unit -> unit   val set_negative_option_name : string -> unit   val set_negative_option_help : string -> unit   val set_unset_option_name : string -> unit   val set_unset_option_help : string -> unit   val set_optional_help :     (unit, Format.formatter, unit) Pervasives.format -> unit   val set_group : Cmdline.Group.t -> unit   val is_invisible : unit -> unit   val argument_is_function_name : unit -> unit   val argument_may_be_fundecl : unit -> unit   val argument_must_be_fundecl : unit -> unit   val argument_must_be_existing_fun : unit -> unit   val do_iterate : unit -> unit   val do_not_iterate : unit -> unit   val no_category : unit -> unit   val is_permissive_ref : bool Pervasives.ref   val get_c_ified_functions : string -> Cil_datatype.Kf.Set.t   val add_function_name_transformation :     (string -> Cil_datatype.Kf.Set.t) -> unit   val reset : unit -> unit   val set_module_name : string -> unit   val find_kf_by_name : (string -> Cil_types.kernel_function) Pervasives.ref   val cmdline_stage_ref : Cmdline.stage Pervasives.ref   val journalize_ref : bool Pervasives.ref   val negative_option_name_ref : string option Pervasives.ref   val negative_option_help_ref : string Pervasives.ref   val unset_option_name_ref : string Pervasives.ref   val unset_option_help_ref : string Pervasives.ref   val must_save_ref : bool Pervasives.ref   val reset_on_copy_ref : bool Pervasives.ref   val projectify_ref : bool Pervasives.ref   val optional_help_ref :     (unit, Format.formatter, unit) Pervasives.format Pervasives.ref   val argument_is_function_name_ref : bool Pervasives.ref   val argument_may_be_fundecl_ref : bool Pervasives.ref   val argument_must_be_fundecl_ref : bool Pervasives.ref   val argument_must_be_existing_fun_ref : bool Pervasives.ref   val group_ref : Cmdline.Group.t Pervasives.ref   val do_iterate_ref : bool option Pervasives.ref   val is_visible_ref : bool Pervasives.ref   val module_name_ref : string Pervasives.ref   val use_category_ref : bool Pervasives.ref end