varargs+x86_64.c