sig
  val get_variable :
    string -> (unit -> Cil_types.varinfo) -> Cil_types.varinfo
end