https://en.m.wikipedia.org/wiki/NAT64
They are different protocols but they are not disjoint address spaces.
You add 96 bits to the address and boom it's converted.