>> https://github.com/coccinelle/coccinelle/issues/37 > > Not sure what you mean. I suggest to take another look also at the circumstances for the placement of white-space characters (around asterisks). I guess that we come along different pretty-printing preferences. Regards, Markus