NAT-PT or NAT64 in real life