Reusing the va_list on 64 bits doesn't seem to work. Find some solution.