  FindInString('`%!1`',!'`\begin{verbatim*} .. \end{verbatim*}`',0,0,10);
  IfOK(!'PopTagsandRegisters;Exit;');
  FindInString('`%!1`',!'`\begin{lstlisting} .. \end{lstlisting}`',0,0,10);
  IfOK(!'PopTagsandRegisters;Exit;');
  FindInString('`%!1`',!'`\begin{filecontents} .. \end{filecontents}`',0,0,10);
  IfOK(!'PopTagsandRegisters;Exit;');
  FindInString('`%!1`',!'`\begin{filecontents*} .. \end{filecontents*}`',0,0,10);
  IfOK(!'PopTagsandRegisters;Exit;');
  FindInString('`%!1`',!'`\begin{comment} .. \end{comment}`',0,0,10);
