[Fabric 008] coccinelle