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