digraph G {
    node [ shape=box ]

    label="Stateful NAT64 for masquarading IPv6 networks"

    v6net [ label="IPv6 Network\n2001:db8:0:0::/64\n(64 bit)" ]
    v4net [ label="IPv4 Internet\n0.0.0.0/0\n(32 bit)" ]
    nat64 [ label="NAT64 translator" ]

    v6net->v4net [ label="Allow access\nfrom an IPv6 network" style=dashed ]
    v6net->nat64 [ label="Connects to\n2001:db8:0:0:c001::/96\n(32 bit)" ]
    nat64->v4net [ label="Squashes 2001:db8::/64 to 192.0.2.1" ]
}