FFC_CHECK_Q_MISMATCH
*res = FFC_CHECK_Q_MISMATCH;
if (!TEST_true(res == FFC_CHECK_Q_MISMATCH || res == FFC_CHECK_Q_NOT_PRIME))