The text 83b0a2e4b2a3, as Debian 7 (Wheezy) shipped it.
verify socket filter code
sk_chk_filter(9) on Linux now