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