Coccinelle: Smiley hard by Arturo