100644 blob a4b83cc8ea01143d1a2b3ba7793679398dbc0080	alloc_cast.cocci
100644 blob 07af8c7433d1f9508586b1aaed3e6c2d4766d741	pool_zalloc-simple.cocci
100644 blob ae1d39e71e31053d08f85b67ac02703cd3ba9159	zalloc-simple.cocci