@property
    def teredo(self):
        bits = self._explode_shorthand_ip_string().split(':')
        if not bits[0] == '2001':
            return None
        return (IPv4Address(int(''.join(bits[2:4]), 16)),
                IPv4Address(int(''.join(bits[6:]), 16) ^ 0xFFFFFFFF))
Tuple of embedded teredo IPs.
dataset/ETHPy150Open anandology/pyjamas/pyjs/src/pyjs/lib/ipaddr.py/_BaseV6.teredo