100755 blob 72f1572aaec36f737f277eb6a22d6b231dd63f1e	doublebitand.cocci
100755 blob 78d74c22ca12da130c77702f98741fc4c89e3724	doubletest.cocci
100755 blob dfc6b40c29698417c32c9c50eb22ad1b5c81044d	odd_ptr_err.cocci