Check for bug in va_copy