The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer