IP.decodeIPv6(IP('127.0.0.1').encodeIPv6()) = IP('::ffff:127.0.0.1')