val extract_dangerous_macros: (Common.filename * (string * Cpp_token_c.define_def) list) list -> (Common.filename * (string * Cpp_token_c.define_def) list) list