[coccinelle.png]