Module Frama_c_kernel_base.Translate

val translate_variadics : Cil_types.file -> unit