[Rough Rock 017] coccinelle