To verify the translations, use the CLI command
show session all filter destination 80.80.80.80
.
A client address 192.168.1.11 and its port number are translated
to 10.16.1.103 and a port number. The destination address 80.80.80.80
is translated to 10.2.133.15.