100644 blob 72f1572aaec36f737f277eb6a22d6b231dd63f1e	doublebitand.cocci
100644 blob 78d74c22ca12da130c77702f98741fc4c89e3724	doubletest.cocci
100644 blob cfe0a35cf2dd219090d6186996fd3a5ca6b94fda	odd_ptr_err.cocci