sig
  val mem : string -> bool
  val find : string -> Cil_types.varinfo
  val update : string -> Cil_types.varinfo -> unit
end