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