Sophie
\section{Module System} \label{sect:modules} \subsection{Namespaces} \subsection{Global Variables}