100644 blob 97ce41ce813596a98952757c68a2104a0dc7c6ba	boolinit.cocci
100644 blob d42564484528c10a8382a3f8498a6de012ef6c78	cstptr.cocci
100644 blob cf74a00cf59740d51f828f3140460f77268c1d40	doubleinit.cocci
100644 blob b7ed91dbeb9551d1de29919c253f8b5862d2ac43	ifcol.cocci