[Granite 001] coccinelle