function xor(x, y) {
        return (x + y - 2 \* and(x, y));
    }