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
  val libc_replacement : Cil_types.varinfo -> Cil_types.varinfo
end