Config_compcert.Preprocessor
val add_include_dirs : string list -> unit
val set_gnuc_for_macos : unit -> unit
val set_output_dependencies_opts : string -> unit
val get_options : unit -> string list
val restore_options : string list -> unit