[Concrete 008] coccinelle