bit_xor::=