assert TRUE and TRUE;
assert TRUE or TRUE;
assert TRUE or FALSE;
assert 0 == 1 or 1 == 1;
assert TRUE xor FALSE;
assert FALSE xor TRUE;
assert 0b01 band 0b10 == 0;
assert 0b01 bor 0b10 == 0b11;
assert 0b1111 bxor 0b0100 == 0b1011;
assert 0b1100 >> 2 == 0b11;
assert 0b11 << 3 == 0b11000;