\section{Results} \label{sec:results} \begin{multicols}{2} \subsection{Code size} \label{sec:results:size} \todo{\dots} \subsection{Running time} \label{sec:results:time} \todo{\dots} \end{multicols}