functor (M : sig val gcc : Cil_types.mach val msvc : Cil_types.mach val gccHas__builtin_va_list : bool val __thread_is_keyword : bool end) -> sig end