s3: Call va_end() after all va_start()/va_copy() calls.