sig val interprate : Cil_types.file -> unit end