\newcommand{\spatch}{\texttt{spatch}\xspace} \newcommand{\sgrep}{\texttt{sgrep}\xspace} \newcommand{\cpp}{\texttt{cpp}\xspace} \newcommand{\cocciversion}{1.0.0-rc3\xspace}
\newcommand{\spatch}{\texttt{spatch}\xspace} \newcommand{\sgrep}{\texttt{sgrep}\xspace} \newcommand{\cpp}{\texttt{cpp}\xspace} \newcommand{\cocciversion}{1.0.0-rc3\xspace}