\newcommand{\spatch}{\texttt{spatch}\xspace} \newcommand{\sgrep}{\texttt{sgrep}\xspace} \newcommand{\cpp}{\texttt{cpp}\xspace} \newcommand{\cocciversion}{0.1.8\xspace}
\newcommand{\spatch}{\texttt{spatch}\xspace} \newcommand{\sgrep}{\texttt{sgrep}\xspace} \newcommand{\cpp}{\texttt{cpp}\xspace} \newcommand{\cocciversion}{0.1.8\xspace}