Simple XOR-swap for integers