Module Frama_c_kernel.Variadic

Nothing is exported.