coquinelle: Déclaration.