using our va_list twice, which caused crashes on architectures where
    va_list is a pointer; we now use va_copy whenever possible.