The text 425481f539e3, as Debian 10 (Buster) shipped it.
Get the remote tcp port
function::ipmib_tcp_remote_port(3stap) on Linux now
