is_exception_with_error_code
if (is_exception_with_error_code(exit_intr_info)) {
if (is_exception_with_error_code(*intr_info))