module Obfuscate: sig .. end
sig
end
val obfuscate : Cil_types.file -> (string, string) Hashtbl.t
Cil_types.file -> (string, string) Hashtbl.t