1known problems/assumptions:
2 - does not handle protocols other than ICMP, UDP, TCP and GRE
3 - assumes the handset has its own (routed) /64 ipv6 subnet
4 - assumes the /128 ipv6 subnet it generates can use the nat64 gateway
5 - assumes the nat64 gateway has the ipv4 address in the last 32 bits of the ipv6 address (that it uses a /96 plat subnet)
6