va_list can be used only once, so make a copy