(You
don’t enter a full destination address because, based on the prefix length,
the firewall extracts the encoded IPv4 address from the original
destination IPv6 address in the incoming packet. In this example,
the prefix in the incoming packet is encoded with C633:6401 in hexadecimal,
which is the IPv4 destination address 198.51.100.1.)