Beginning to generate varargs C code