100644 blob 9ba73d05a77eec771d706b2656cebab30530167f	doublebitand.cocci
100644 blob 13a2c0e8a4bf9cbbb146a00ec23ec44cceb85d5d	doubletest.cocci
100644 blob e8dd8a6b28a284894ccc4492250112025108031a	odd_ptr_err.cocci