val macros_h : string refval cmdline_flags_macrofile : unit -> (string * Arg.spec * string) listval verbose_pp_ast : bool refval filter_msg : bool refval filter_classic_passed : bool refval filter_define_error : bool refval debug_typedef : bool refval debug_pp : bool refval debug_pp_ast : bool refval debug_cplusplus : bool refval cmdline_flags_debugging : unit -> (string * Arg.spec * string) listval strict_lexer : bool refval if0_passing : bool refval ifdef_to_if : bool refval sgrep_mode : bool ref