c448_succeed_if
return c448_succeed_if(mask_to_bool(succ));
return c448_succeed_if(mask_to_bool(nz));
return c448_succeed_if(ossl_curve448_point_eq(pk_point, r_point));
return c448_succeed_if(~word_is_zero((uint32_t)accum));