(Stateless) NAT64 user-mode implementation for Linux