Export bitvector xor function