The text 9f980bbfd524, as Debian 10 (Buster) shipped it.
TCP socket disconnection
probe::tcp.disconnect(3stap) on Linux now