Coccinelle 1D7B6AD087 VERT