sig val translate_variadics : Cil_types.file -> unit end