sig
val
translate_variadics :
Cil_types
.file
->
unit
end