sig
  val prepare : unit -> unit
  val sound_verdict : unit -> Cil_types.varinfo
  val is_libc_writing_memory_ref : (Cil_types.varinfo -> bool) Stdlib.ref
end