[Lava 005] coccinelle