ostree/coccinelle/newstyle.cocci