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