$ objdump -D /lib/libc.so.6 | grep 'int[[:space:]]*$0x80' | wc -l 447
$ objdump -D /lib64/libc.so.6 | grep 'int[[:space:]]+$0x80' | wc -l
0