It would be useful if there was a call to check an ipv6 was a teredo address and extract the relevant parts https://en.wikipedia.org/wiki/Teredo_tunneling#IPv6_addressing