Add xor_128()