<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% this figure relates to something a little later on; placed here to
%%% force it to come atop the proper case
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{figure*}[htp]
\begin{verbatim}
    @x
    @&lt;Start translation of command |o| and |goto| the appropriate label to
      finish the job@&gt;;
    fin_set: @&lt;Finish a command that either sets or puts a character, then
        |goto move_right| or |done|@&gt;;
    fin_rule: @&lt;Finish a command that either sets or puts a rule, then
        |goto move_right| or |done|@&gt;;
    move_right: @&lt;Finish a command that sets |h:=h+q|, then |goto done|@&gt;;
    show_state: @&lt;Show the values of |ss|, |h|, |v|, |w|, |x|, |y|, |z|,
      |hh|, and |vv|; then |goto done|@&gt;;
    done: if showing then print_ln(' ');
    @y
    Done: loop begin
    show_state: loop begin
    move_right: loop begin
    fin_rule: loop begin
    fin_set: loop begin
    @&lt;Start translation of command |o| and |goto| the appropriate label to
      finish the job@&gt;;
    break end; @&lt;Finish a command that either sets or puts a character, then
        |goto move_right| or |done|@&gt;;
    break end; @&lt;Finish a command that either sets or puts a rule, then
        |goto move_right| or |done|@&gt;;
    break end; @&lt;Finish a command that sets |h:=h+q|, then |goto done|@&gt;;
    break end; @&lt;Show the values of |ss|, |h|, |v|, |w|, |x|, |y|, |z|,
      |hh|, and |vv|; then |goto done|@&gt;;
    break end; if showing then print_ln(' ');
    @z
\end{verbatim}
\caption{Translation of targets of \texttt{goto}s in
  \texttt{dvitype.ch}}
\label{fig:dvitype}
\end{figure*}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
</pre></body></html>