coccinelle-crac-6