Module Translate

module Translate: sig .. end

val translate_variadics : Cil_types.file -> unit