sig
  val init : unit -> unit
  module type S =
    sig
      val t : unit -> Cil_types.typ
      val t_as_ptr : unit -> Cil_types.typ
      val is_now_referenced : unit -> unit
      val is_t : Cil_types.typ -> bool
    end
  module Z : S
  module Q : S
end