[Fabric 015] coccinelle