sig
  type t = Zones.Data.t Cil_datatype.Stmt.Hashtbl.t
  val create : int -> 'Cil_datatype.Stmt.Hashtbl.t
  val find :
    'Cil_datatype.Stmt.Hashtbl.t -> Cil_datatype.Stmt.Hashtbl.key -> 'a
  val add :
    Locations.Zone.t Cil_datatype.Stmt.Hashtbl.t ->
    Cil_datatype.Stmt.Hashtbl.key -> Locations.Zone.t -> unit
  val _pretty :
    Format.formatter -> Locations.Zone.t Cil_datatype.Stmt.Hashtbl.t -> unit
end