\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}
::
::
::
