\section{Standard Module \sectcode{rexec}}
\stmodindex{rexec}
\renewcommand{\indexsubitem}{(in module rexec)}

XXX To be provided.