\section{Standard Module \sectcode{rexec}}
\stmodindex{rexec}
\renewcommand{\indexsubitem}{(in module rexec)}
XXX To be provided.