typedef UINT_PTR ucell;
const ucell MAXUVALUE = MAXUINT_PTR;

struct udcell {
ucell lo, hi;
udcell() = default;
constexpr udcell(ucell lo, ucell hi) : lo(lo), hi(hi) {}
};

bool mixed_divmod(udcell dividend, ucell divisor, udcell &quotient, ucell &remainder)
{
const ucell highbit = MAXUVALUE & ~(MAXUVALUE >> 1);
if (divisor == 0)
return false;
quotient.hi = dividend.hi / divisor;
remainder = dividend.hi % divisor;
quotient.lo = 0;
bool carry = false;
for (byte bit = 0; bit < cell_bits; ++bit) {
carry = (remainder&highbit);
remainder <<= 1;
quotient.lo <<= 1;
if (dividend.lo&highbit)
remainder |= 1;
if (carry || remainder >= divisor) {
remainder -= divisor;
++quotient.lo;
}
dividend.lo <<= 1;
}
return true;
}

bool mixed_divmod(udcell dividend, ucell divisor, udcell &quotient, ucell &remainder)
{
    if (divisor == 0)
        return false;
#ifdef Win32
    quotient.hi = _udiv64(dividend.hi, divisor, &remainder);
    quotient.lo = _udiv64(ULONGLONG(remainder)<<32|dividend.lo, divisor, &remainder);
#else
    quotient.hi = _udiv128(0, dividend.hi, divisor, &remainder);
    quotient.lo = _udiv128(remainder, dividend.lo, divisor, &remainder);
#endif
    return true;
}

bool a, b, c;
...
bool test;
if (c)
    test = a || b;
else
    test = a && !b;

...
bool test = b ? c : a;