% \begin{quote}
% \quad\verb|Document-level (top-level) code (executed |%^^A
% \meta{first\texttt{\string|}last}\verb|):|\\
% \quad\verb| -> |\meta{\texttt{top-level} code}
% \end{quote}
%
% \begin{macrocode}
\def\ExampleHook{top-level}
% \end{macrocode}