Yes, the lite-C compiler knows no variadic arguments. Calling external functions with variadic arguments just switches off the parameter type/number check - that's all. Therefore, the correct parameter types must be always passed to variadic argument functions.