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