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