Coccinelle 8C7DFEA919 BRULE