The text de9bb8c86b45, as Debian 7 (Wheezy) shipped it.
Default filter function for tcpmib.* probes
function::tcpmib_filter_key(3stap) on Linux now
