sig
  val link : Project.t -> unit
  module Symbols :
    sig
      val mem_global : Cil_types.global -> bool
      val mem_kf : Cil_types.kernel_function -> bool
      val mem_vi : string -> bool
      exception Unregistered of string
      val find_vi : string -> Cil_types.varinfo
    end
end