Module Frama_c_kernel.Translate

val translate_variadics : Cil_types.file -> unit