sig
  type t = private {
    mutable gcc : Cil_types.mach;
    mutable msvc : Cil_types.mach;
    mutable gccHas__builtin_va_list : bool;
    mutable __thread_is_keyword : bool;
  }
  val state : Machdep.t
  module DEFINE :
    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
end