code: def teredoAddrExtractInfo(x):
      
      addr = inet_pton(socket.AF_INET6, x)
      server = inet_ntop(socket.AF_INET, addr[4:8])
      flag = struct.unpack("!H", addr[8:10])[0]
      mappedport = struct.unpack("!H", strxor(addr[10:12], b'\xff' * 2))[0]
      mappedaddr = inet_ntop(socket.AF_INET, strxor(addr[12:16], b'\xff' * 4))
      return server, flag, mappedaddr, mappedport
docs: Extract information from a Teredo address. Return value is
      a 4-tuple made of IPv4 address of Teredo server, flag value (int),
      mapped address (non obfuscated) and mapped port (non obfuscated).
      No specific checks are performed on passed address.