alloc_cast.cocci
pool_zalloc-simple.cocci
zalloc-simple.cocci