\newcommand{\ignore}[1]{}
\newcommand{\convert}[1]{\,$[\![$#1\,$]\!]_{C++}$}
