Re: [PATCH] kunit: Fix a null-ptr-deref bug in kunit_run_case_catch_errors()