module Translate: sig .. end
sig
end
val translate_variadics : Cil_types.file -> unit
Cil_types.file -> unit