context

git-svn-id: svn://tug.org/texlive/trunk@608 c570f23f-e606-0410-a88d-b1316a301751

1 files changed, 1371 insertions, 0 deletions

diff --git a/Master/texmf-dist/tex/context/base/m-cweb.tex b/Master/texmf-dist/tex/context/base/m-cweb.tex
new file mode 100644
index 00000000000..65184ddae8a
--- /dev/null
+++ b/Master/texmf-dist/tex/context/base/m-cweb.tex
@@ -0,0 +1,1371 @@
+%D \module
+%D   [       file=m-cweb,
+%D        version=1997.01.15,
+%D          title=\CONTEXT\ Extra Modules,
+%D       subtitle=\CWEB\ Pretty Printing Macros,
+%D         author=Hans Hagen,
+%D           date=\currentdate,
+%D      copyright={PRAGMA / Hans Hagen \& Ton Otten}]
+%C
+%C This module is part of the \CONTEXT\ macro||package and is
+%C therefore copyrighted by \PRAGMA. See mreadme.pdf for
+%C details.
+
+%D First some auxiliary stuff, to be moved to system module.
+
+\def\dodofindfirstcharacter#1%
+  {\ifx#1\relax
+     \let\next=\egroup
+   \else
+     \handlecase
+       {\expandafter\ifnum\expandafter\catcode\expandafter`#1=11
+        \def\next##1\relax{\egroup\def\firstcharacter{#1}}%
+     \fi}%
+   \fi
+   \next}
+
+\def\dofindfirstcharacter#1#2%
+  {\def\firstcharacter{}%
+   \bgroup
+   \convertargument#2\to\ascii
+   \let\next=\dodofindfirstcharacter
+   \let\handlecase=#1
+   \expandafter\next\ascii\relax}
+
+\def\normalcase#1%
+  {#1}
+
+\def\findfirstcharacter%
+  {\dofindfirstcharacter\lowercase}
+
+\def\FindFirstCharacter%
+  {\dofindfirstcharacter\normalcase}
+
+\def\FINDFIRSTCHARACTER%
+  {\dofindfirstcharacter\uppercase}
+
+% nog doen:
+%
+% \deactivateCWEB in output routine
+% status info
+% gelinkte entries
+% parskip en parindent
+
+%D \gdef\CWEBquote#1.{{\em Quote :}\ #1.} % checks the .
+
+%D This module (re)implements the \CWEB\ macros as defined in
+%D the file \type{cwebmac.tex}.
+%D
+%D \CWEB\ uses short, often one character long, names for
+%D macros. This is no real problem because no one is supposed
+%D to read and understand the files generated by \CWEB. The
+%D standard macros are meant for \PLAIN\ \TEX\ users. In
+%D \CONTEXT\ and other macro packages however, there is a
+%D potential conflict with format specific or user defined
+%D commands. Furthermore, the \CWEB\ macros implement their own
+%D output routines. When integrating \CWEB\ documents in
+%D another environment, the \CWEB\ specific macros have to be
+%D made local. The first part of this module is dedicated to
+%D this feature.
+%D
+%D Instead of using \type{\def} and \type{\let} for defining
+%D macros, we use:
+%D
+%D \starttyping
+%D \defCEBmacro arguments {meaning}
+%D \letCEBmacro arguments {meaning}
+%D \stoptyping
+%D
+%D \CWEB files contain implicit calls to macros that generate
+%D the table of contents, the lists of sections and the index.
+%D Because we want to be much more flexible, we implemented our
+%D own alternatives, and therefore have to bypass the original
+%D ones. The next macro is used for defining these obsolete
+%D \CWEB\ macros. The dummies take care of arguments.
+%D
+%D \starttyping
+%D \defCEBdummy arguments {meaning}
+%D \stoptyping
+%D
+%D The list of \CWEB\ specific macro names is saved in a
+%D \TOKENLIST. This serves two purposes. First it enables us to
+%D activate the \CWEB\ macros, which are saved under a
+%D different name, second it can be used to temporary restore
+%D the meanings, for instance when the output routine builds
+%D the page.
+
+\newtoks\CWEBmacros
+
+%D Activating and deactivating is done by means of:
+%D
+%D \starttyping
+%D \activateCWEB
+%D \deactivateCWEB
+%D \stoptyping
+%D
+%D Which are implemented as:
+
+\def\activateCWEB%
+  {\let\doCWEB=\activateCWEBmacro
+   \the\CWEBmacros}
+
+\def\deactivateCWEB%
+  {\let\doCWEB=\deactivateCWEBmacro
+   \the\CWEBmacros}
+
+%D The three definition macros append the name of the macro to
+%D the list. The first two macros save the meaning, the last one
+%D assigns \type{{}} to the macro and gobbles original meaning.
+
+\long\def\defCWEBmacro#1%
+  {\appendtoks\doCWEB#1\to\CWEBmacros
+   \setvalue{newCWEB\string#1}}
+
+\long\def\letCWEBmacro#1%
+  {\appendtoks\doCWEB#1\to\CWEBmacros
+   \letvalue{newCWEB\string#1}}
+
+\long\def\defCWEBdummy#1#2#%
+  {\appendtoks\doCWEB#1\to\CWEBmacros
+   \setvalue{newCWEB\string#1}#2{}%
+   \gobbleoneargument}
+
+%D The macro \type{\defCWEBdummy} of course takes care of the
+%D argument. This leaves the two (de|)|activating macros:
+
+\def\CWEBmacro#1%
+  {\getvalue{newCWEB\string#1}}
+
+\def\activateCWEBmacro#1%
+  {\letvalue{oldCWEB\string#1}=#1%
+   \def#1{\CWEBmacro#1}}
+
+\def\deactivateCWEBmacro#1%
+  {\expandafter\let\expandafter#1\expandafter=\csname oldCWEB\string#1\endcsname}
+
+%D I did consider loading the \CWEB\ macros using temporary
+%D substitutes of \type{\def}, \type{\font}, \type{\newbox} etc.
+%D The main problem is that the file contains more than
+%D definitions and taking all kind of assignments into account
+%D too would not make things easier. So I decided to stick to
+%D the method as just described.
+
+%D Now we're ready for the real job. What follows is a partial
+%D adaption of the file \type{cwebmac.tex}, version 3.1, dated
+%D September 1994 and written by Levy and Knuth. When possible
+%D we kept the original meaning, but we've granted ourselves
+%D the freedom to reformat the macro's for readibility.
+%D
+%D We'll only present the macros we actually use. The source
+%D however contains the original implementation.
+
+% standard macros for CWEB listings (in addition to plain.tex)
+% Version 3.1 --- September 1994.
+%
+% \ifx\documentstyle\undefined\else\endinput\fi % LaTeX will use other macros
+%
+% \xdef\fmtversion{\fmtversion+CWEB3.1}
+
+%D \macros{.}{}
+%D
+%D \CWEBquote preserve a way to get the dot accent (all
+%D other accents will still work as usual).
+
+\letCWEBmacro\: = \.
+
+% \parskip   = 0pt % no stretch between paragraphs
+% \parindent = 1em % for paragraphs and for the first line of C text
+
+% \font\ninerm       = cmr9
+% \let\mc            = \ninerm                 % medium caps
+% \font\eightrm      = cmr8
+% \let\sc            = \eightrm                % small caps (NOT a caps-and-small-caps font)
+% \let\mainfont      = \tenrm
+% \let\cmntfont      = \tenrm
+% \font\tenss        = cmss10
+% \let\cmntfont      = \tenss                  % alternative comment font
+% \font\titlefont    = cmr7 scaled \magstep4   % title on the contents page
+% \font\ttitlefont   = cmtt10 scaled \magstep2 % typewriter type in title
+% \font\tentex       = cmtex10                 % TeX extended character set (used in strings)
+% \fontdimen7\tentex = 0pt                     % no double space after sentences
+
+%D \macros{mc,sc,cmntfont,eightrm}{}
+%D
+%D The naming of the fonts in in line with those in \PLAIN\
+%D \TEX. Although \CONTEXT\ implements its own scheme, there is
+%D still support for the \PLAIN\ ones. We keep the original
+%D names, but change their meaning. That way the macros obey
+%D switching to other sizes or styles.
+
+\defCWEBmacro\mc       {\tx}
+\defCWEBmacro\sc       {\txx}
+\defCWEBmacro\cmntfont {\ss}
+\defCWEBmacro\eightrm  {\tx}
+
+%D \macros{tentex,sevenrm,sevensy,teni}{}
+%D
+%D The next one uses a temporary solution. The \type{cmtex10}
+%D font is not part of the default mechanism. We make use of
+%D the \CONTEXT\ variables \type{\textface}, \type{\scriptface}
+%D and \type{\scriptscriptface}, which hold the current
+%D sizes.
+
+\defCWEBmacro\tentex%
+  {\font\next=cmtex10 at \textface
+   \fontdimen7\next=0pt
+   \next}
+
+\defCWEBmacro\sevenrm  {\getvalue{\scriptface rmtf}}
+\defCWEBmacro\sevensy  {\getvalue{\scriptface mmsy}}
+\defCWEBmacro\teni     {\getvalue{\textface   mmmi}}
+
+%D \macros{CWEBpt}{}
+%D
+%D The original macros are based on a 10~point bodyfont size. We
+%D therefore have to specify dimension in points a bit
+%D different. Specifications like .6pt are changed to
+%D \type{.06} times \type{\korpsgrootte}.
+
+\defCWEBmacro\CWEBpt   {\korpsgrootte} % still dutch
+
+%D \macros{CEE,UNIX,TEX,CPLUSPLUS}{}
+%D
+%D Next come some logo's. It does not make much sense to use
+%D the \CONTEXT\ logo mechanism here, so we simply say:
+
+\defCWEBmacro      \CEE/{{\mc C\spacefactor1000}}
+\defCWEBmacro     \UNIX/{{\mc U\kern-.05emNIX\spacefactor1000}}
+\defCWEBmacro      \TEX/{\TeX}
+\defCWEBmacro\CPLUSPLUS/{{\mc C\PP\spacefactor1000}}
+\defCWEBmacro       \Cee{\CEE/} % for backward compatibility
+
+%D \macros{\ }{}
+%D
+%D Now we come to the real work: the short commands that make
+%D up the typography.
+%D
+%D \CWEBquote italic type for identifiers.
+
+\defCWEBmacro\\#1%
+  {\leavevmode\hbox{\it#1\/\kern.05em}}
+
+%D \macros{\string|}{}
+%D
+%D \CWEBquote one letter identifiers look better this way.
+
+\defCWEBmacro\|#1%
+  {\leavevmode\hbox{$#1$}}
+
+%D \macros{\string&}{}
+%D
+%D \CWEBquote boldface type for reserved words.
+
+\defCWEBmacro\&#1%
+  {\leavevmode
+   \hbox
+     {\def\_%
+        {\kern.04em
+         \vbox{\hrule width.3em height .06\CWEBpt}% .6pt}%
+         \kern.08em}%
+      \bf#1\/\kern.05em}}
+
+%D \macros{.}{}
+%D
+%D Here we use the previously saved period. This macro
+%D takes care of special characters in strings.
+
+\defCWEBmacro\.#1%
+  {\leavevmode
+    \hbox
+      {\tentex    % typewriter type for strings
+       \let\\=\BS % backslash in a string
+       \let\{=\LB % left brace in a string
+       \let\}=\RB % right brace in a string
+       \let\~=\TL % tilde in a string
+       \let\ =\SP % space in a string
+       \let\_=\UL % underline in a string
+       \let\&=\AM % ampersand in a string
+       \let\^=\CF % circumflex in a string
+       #1\kern.05em}}
+
+%D \macros{)}{}
+%D
+%D Some discretionary hack.
+
+\defCWEBmacro\)%
+  {\discretionary{\hbox{\tentex\BS}}{}{}}
+
+%D \macros{AT}{}
+%D
+%D \CWEBquote at sign for control text (not needed in versions
+%D $>=$ 2.9).
+
+\defCWEBmacro\AT{@}
+
+%D \macros{ATL,postATL,NOATL}{}
+%D
+%D A two step macro that handles whatever.
+
+\defCWEBmacro\ATL%
+  {\par
+   \noindent
+   \bgroup
+   \catcode`\_=12
+   \postATL}
+
+\defCWEBmacro\postATL#1 #2 %
+  {\bf letter \\{\uppercase{\char"#1}} tangles as \tentex "#2"%
+   \egroup
+   \par}
+
+\defCWEBmacro\noATL#1 #2 %
+  {}
+
+%D \macros{noatl}{}
+%D
+%D \CWEBquote suppress output from \type{@l}.
+
+\defCWEBmacro\noatl%
+  {\let\ATL=\noATL}
+
+% \defCWEBmacro\ATH%
+%   {\X\kern-.5em:Preprocessor definitions\X}
+
+%D \macros{PB}
+%D
+%D \CWEBquote hook for program brackets {\tttf\string|...\string|}
+%D in TeX part or  section name.
+
+\defCWEBmacro\PB%
+  {\relax}
+
+% \chardef\AM = `\&  % ampersand character in a string
+% \chardef\BS = `\\  % backslash in a string
+% \chardef\LB = `\{  % left brace in a string
+% \chardef\RB = `\}  % right brace in a string
+% \chardef\TL = `\~  % tilde in a string
+% \chardef\UL = `\_  % underline character in a string
+% \chardef\CF = `\^  % circumflex character in a string
+
+\defCWEBmacro\AM {\char`\&}      % ampersand character in a string
+\defCWEBmacro\BS {\char`\\}      % backslash in a string
+\defCWEBmacro\LB {\char`\{}      % left brace in a string
+\defCWEBmacro\RB {\char`\}}      % right brace in a string
+\defCWEBmacro\TL {\char`\~}      % tilde in a string
+\defCWEBmacro\UL {\char`\_}      % underline character in a string
+\defCWEBmacro\CF {\char`\^}      % circumflex character in a string
+
+\defCWEBmacro\SP {{\tt\char`\ }} % (visible) space in a string
+
+% \newbox\PPbox  \setbox\PPbox=\hbox
+%   {\kern.5pt\raise1pt\hbox{\sevenrm+\kern-1pt+}\kern.5pt}
+% \newbox\MMbox  \setbox\MMbox=\hbox
+%   {\kern.5pt\raise1pt\hbox{\sevensy\char0\kern-1pt\char0}\kern.5pt}
+% \newbox\MGbox  \setbox\MGbox=\hbox % symbol for ->
+%   {\kern-2pt\lower3pt\hbox{\teni\char'176}\kern1pt}
+% \newbox\MODbox \setbox\MODbox=\hbox
+%   {\eightrm\%}
+%
+% \def\PP  {\copy\PPbox}
+% \def\MM  {\copy\MMbox}
+% \def\MG  {\copy\MGbox}
+% \def\MOD {\mathbin{\copy\MODbox}}
+
+\defCWEBmacro\PP% symbol for ++
+  {\kern.05\CWEBpt
+   \raise.1\CWEBpt\hbox{\sevenrm+\kern-.1\CWEBpt+}%
+   \kern.05\CWEBpt}
+
+\defCWEBmacro\MM%
+  {\kern.05\CWEBpt
+   \raise.1\CWEBpt\hbox{\sevensy\char0\kern-.1\CWEBpt\char0}%
+   \kern.05\CWEBpt}
+
+\defCWEBmacro\MG%
+  {\kern-.2\CWEBpt
+   \lower.3\CWEBpt\hbox{\teni\char'176}%
+   \kern .1\CWEBpt}
+
+\defCWEBmacro\MRL#1%
+  {\mathrel{\let\K==#1}}
+
+% \def\MRL#1%
+%   {\KK#1}
+% \def\KK#1#2%
+%   {\buildrel\;#1\over{#2}}
+
+\letCWEBmacro\GG   = \gg
+\letCWEBmacro\LL   = \ll
+\letCWEBmacro\NULL = \Lambda
+
+% \mathchardef\AND   = "2026     % bitwise and; also \& (unary operator)
+
+\defCWEBmacro\AND% redefines itself (funny)
+  {\mathchardef\AND="2026 \AND}  % bitwise and; also \& (unary operator)
+
+\letCWEBmacro\OR   = \mid                     % bitwise or
+\letCWEBmacro\XOR  = \oplus                   % bitwise exclusive or
+\defCWEBmacro\CM     {{\sim}}                 % bitwise complement
+\defCWEBmacro\MOD    {\mathbin{\eightrm\%}}
+\defCWEBmacro\DC     {\kern.1em{::}\kern.1em} % symbol for ::
+\defCWEBmacro\PA     {\mathbin{.*}}           % symbol for .*
+\defCWEBmacro\MGA    {\mathbin{\MG*}}         % symbol for ->*
+\defCWEBmacro\this   {\&{this}}
+
+% \newbox  \bak    % backspace one em
+% \newbox  \bakk   % backspace two ems
+%
+% \setbox\bak =\hbox to -1em{}
+% \setbox\bakk=\hbox to -2em{}
+
+\newcount\CWEBind  % current indentation in ems
+
+\defCWEBmacro\1%     indent one more notch
+  {\global\advance\CWEBind by 1
+   \hangindent\CWEBind em}
+
+\defCWEBmacro\2%     indent one less notch
+  {\global\advance\CWEBind by -1 }
+
+\defCWEBmacro\3#1%   optional break within a statement
+  {\hfil
+   \penalty#10
+   \hfilneg}
+
+\defCWEBmacro\4%   backspace one notch
+  {\hbox to -1em{}}
+
+\defCWEBmacro\5%   optional break
+  {\hfil
+   \penalty-1
+   \hfilneg
+   \kern2.5em
+   \hbox to -2em{}%
+   \ignorespaces}
+
+\defCWEBmacro\6%   forced break
+   {\ifmmode
+    \else
+      \par
+      \hangindent\CWEBind em
+      \noindent
+      \kern\CWEBind em
+      \hbox to -2em{}%
+      \ignorespaces
+    \fi}
+
+\defCWEBmacro\7%   forced break and a little extra space
+  {\Y
+   \6}
+
+\defCWEBmacro\8%   no indentation
+  {\hskip-\CWEBind em
+   \hskip 2em}
+
+\defCWEBmacro\9#1%
+  {}
+
+\newcount\gdepth  % depth of current major group, plus one
+\newcount\secpagedepth
+\secpagedepth=3   % page breaks will occur for depths -1, 0, and 1
+
+% \newtoks\gtitle % title of current major group
+% \newskip\intersecskip
+% \intersecskip=12pt minus 3pt % space between sections
+
+% \let\yskip=\smallskip
+
+\defCWEBmacro\?%
+  {\mathrel?}
+
+% \def\note#1#2.%
+%   {\Y\noindent
+%    {\hangindent2em\baselineskip10pt\eightrm#1~#2.\par}}
+
+\defCWEBmacro\lapstar%
+  {\rlap{*}}
+
+% \def\stsec%
+%   {\rightskip=0pt % get out of C mode (cf. \B)
+%    \sfcode`;=1500
+%    \pretolerance 200
+%    \hyphenpenalty 50
+%    \exhyphenpenalty 50
+%    \noindent{\let\*=\lapstar\bf\secstar.\quad}}
+%
+% \let\startsection=\stsec
+
+\defCWEBmacro\defin#1%
+  {\global\advance\CWEBind by 2 \1\&{#1 } } % begin `define' or `format'
+
+% \def\A% xref for doubly defined section name
+%   {\note{See also section}}
+%
+% \def\As% xref for multiply defined section name
+%   {\note{See also sections}}
+
+\defCWEBmacro\B%
+ {\rightskip=0pt plus 100pt minus 10pt % go into C mode
+  \sfcode`;=3000
+  \pretolerance 10000
+  \hyphenpenalty 1000 % so strings can be broken (discretionary \ is inserted)
+  \exhyphenpenalty 10000
+  \global\CWEBind=2 \1\ \unskip}
+
+\defCWEBmacro\C#1%
+  {\5\5\quad$/\ast\,${\cmntfont #1}$\,\ast/$}
+
+% \let\SHC\C % "// short comments" treated like "/* ordinary comments */"
+
+\defCWEBmacro\SHC#1%
+  {\5\5\quad$//\,${\cmntfont#1}}
+
+% \def\C#1{\5\5\quad$\triangleright\,${\cmntfont#1}$\,\triangleleft$}
+% \def\SHC#1{\5\5\quad$\diamond\,${\cmntfont#1}}
+
+\defCWEBmacro\D% macro definition
+  {\defin{\#define}}
+
+\letCWEBmacro\E=\equiv % equivalence sign
+
+% \def\ET% conjunction between two section numbers
+%   { and~}
+%
+% \def\ETs% conjunction between the last two of several section numbers
+%   {, and~}
+
+\defCWEBmacro\F% format definition
+  {\defin{format}}
+
+\letCWEBmacro\G = \ge % greater than or equal sign
+
+% \H is long Hungarian umlaut accent
+
+\letCWEBmacro\I = \ne % unequal sign
+
+\defCWEBmacro\J% TANGLE's join operation
+  {\.{@\&}}
+
+% \let\K== % assignment operator
+
+\letCWEBmacro\K = \leftarrow % "honest" alternative to standard assignment operator
+
+% \L is Polish letter suppressed-L
+
+% \outer\def\M#1%
+%   {\MN{#1}%
+%    \ifon
+%      \vfil
+%      \penalty-100
+%      \vfilneg % beginning of section
+%      \vskip\intersecskip
+%      \startsection
+%     \ignorespaces}
+%
+% \outer\def\N#1#2#3.%
+%   {\gdepth=#1%
+%    \gtitle={#3}%
+%    \MN{#2}% beginning of starred section
+%    \ifon
+%      \ifnum#1<\secpagedepth
+%        \vfil
+%        \eject % force page break if depth is small
+%      \else
+%        \vfil
+%        \penalty-100
+%        \vfilneg
+%        \vskip\intersecskip
+%      \fi
+%    \fi
+%    \message{*\secno}% progress report
+%    \edef\next%
+%      {\write\cont % write to contents file
+%         {\ZZ{#3}{#1}{\secno}{\noexpand\the\pageno}}}%
+%    \next % \ZZ{title}{depth}{sec}{page}
+%    \ifon
+%      \startsection
+%      {\bf#3.\quad}%
+%      \ignorespaces}
+%
+% \def\MN#1%
+%   {\par % common code for \M, \N
+%    {\xdef\secstar{#1}%
+%     \let\*=\empty
+%     \xdef\secno{#1}}% remove \* from section name
+%    \ifx\secno\secstar
+%      \onmaybe
+%    \else
+%      \ontrue
+%    \fi
+%    \mark{{{\tensy x}\secno}{\the\gdepth}{\the\gtitle}}}
+%
+% each \mark is {section reference or null}{depth plus 1}{group title}
+
+% \O is Scandinavian letter O-with-slash
+% \P is paragraph sign
+
+\defCWEBmacro\Q  {\note{This code is cited in section}}  % xref for mention of a section
+\defCWEBmacro\Qs {\note{This code is cited in sections}} % xref for mentions of a section
+
+% \S is section sign
+
+\defCWEBmacro\T#1%
+  {\leavevmode % octal, hex or decimal constant
+   \hbox
+     {$\def\?{\kern.2em}%
+      \def\$##1{\egroup_{\,\rm##1}\bgroup}% suffix to constant
+      \def\_{\cdot 10^{\aftergroup}}% power of ten (via dirty trick)
+      \let\~=\oct
+      \let\^=\hex
+      {#1}$}}
+
+\defCWEBmacro\U  {\note{This code is used in section}} % xref for use of a section
+\defCWEBmacro\Us {\note{This code is used in sections}} % xref for uses of a section
+
+\letCWEBmacro\R  = \lnot % logical not
+\letCWEBmacro\V  = \lor  % logical or
+\letCWEBmacro\W  = \land % logical and
+
+% defined later on
+%
+% \def\X#1:#2\X%
+%   {\ifmmode
+%      \gdef\XX{\null$\null}%
+%    \else
+%      \gdef\XX{}%
+%    \fi % section name
+%    \XX$\langle\,${#2\eightrm\kern.5em#1}$\,\rangle$\XX}
+
+\unprotect
+
+\def\theCWEByskip {\blank[\v!small]}
+\def\theCWEBvskip {\blank[\v!big]}
+
+\protect
+
+\defCWEBmacro\Y%
+  {\par
+   \yskip}
+
+\defCWEBmacro\yskip%
+  {\theCWEByskip}
+
+\letCWEBmacro\Z  = \le
+% \letCWEBmacro\ZZ = \let % now you can \write the control sequence \ZZ
+\letCWEBmacro\*  = *
+
+\defCWEBmacro\oct%
+  {\hbox{$^\circ$\kern-.1em\it\aftergroup\?\aftergroup}}
+
+\defCWEBmacro\hex%
+  {\hbox{$^{\scriptscriptstyle\#}$\tt\aftergroup}}
+
+\defCWEBmacro\vb#1%
+  {\leavevmode
+   \hbox
+     {\kern.2\CWEBpt
+      \vrule
+      \vtop
+        {\vbox
+           {\hrule
+            \hbox{\strut\kern.2\CWEBpt\.{#1}\kern.2\CWEBpt}}
+         \hrule}%
+      \vrule
+      \kern.2\CWEBpt}} % verbatim string
+
+\def\onmaybe%
+  {\let\ifon=\maybe}
+
+\let\maybe=\iftrue
+
+\newif\ifon
+
+% \newif\iftitle
+% \newif\ifpagesaved
+%
+% \def\lheader%
+%   {\mainfont
+%    \the\pageno
+%    \eightrm
+%    \qquad
+%    \grouptitle
+%    \hfill
+%    \title
+%    \qquad
+%    \mainfont
+%    \topsecno} % top line on left-hand pages
+%
+% \def\rheader%
+%   {\mainfont
+%    \topsecno
+%    \eightrm
+%    \qquad
+%    \title
+%    \hfill
+%    \grouptitle
+%    \qquad
+%    \mainfont
+%    \the\pageno} % top line on right-hand pages
+%
+% \def\grouptitle
+%   {\let\i=I
+%    \let\j=J
+%    \uppercase\expandafter{\expandafter\takethree\topmark}}
+%
+% \def\topsecno%
+%   {\expandafter\takeone\topmark}
+%
+% \def\takeone   #1#2#3{#1}
+% \def\taketwo   #1#2#3{#2}
+% \def\takethree #1#2#3{#3}
+%
+% \def\nullsec%
+%   {\eightrm
+%    \kern-2em} % the \kern-2em cancels \qquad in headers
+%
+% \let\page=\pagebody % \def\page {\box255 }
+% \raggedbottom       % \normalbottom % faster, but loses plain TeX footnotes
+%
+% \def\normaloutput#1#2#3%
+%   {\shipout\vbox
+%      {\ifodd
+%         \pageno
+%         \hoffset=\pageshift
+%       \fi
+%       \vbox to \fullpageheight
+%         {\iftitle
+%            \global\titlefalse
+%          \else
+%            \hbox to \pagewidth
+%              {\vbox to 10pt{}%
+%               \ifodd\pageno #3\else#2\fi}
+%          \fi
+%         \vfill#1}} % parameter #1 is the page itself
+%    \global\advance\pageno by 1}
+%
+% \gtitle={\.{CWEB} output} % this running head is reset by starred sections
+%
+% \mark{\noexpand\nullsec0{\the\gtitle}}
+%
+% \def\title%
+%   {\expandafter\uppercase\expandafter{\jobname}}
+%
+% \def\topofcontents%
+%   {\centerline{\titlefont\title}
+%    \vskip.7in
+%    \vfill} % this material will start the table of contents page
+
+\def\botofcontents%
+  {\vfill
+   \centerline{\covernote}} % this material will end the table of contents page
+
+\def\covernote%
+  {}
+
+% some leftover
+
+\defCWEBmacro\contentspagenumber{0} % default page number for table of contents
+
+% \newdimen\pagewidth      \pagewidth      = 158mm % the width of each page
+% \newdimen\pageheight     \pageheight     = 223mm % the height of each page
+% \newdimen\fullpageheight \fullpageheight = 240mm % page height including headlines
+% \newdimen\pageshift      \pageshift      = 0in   % shift righthand pages wrt lefthand ones
+%
+% \def\magnify#1%
+%   {\mag=#1
+%    \pagewidth=6.5truein
+%    \pageheight=8.7truein
+%    \fullpageheight=9truein
+%    \setpage}
+%
+% \def\setpage%
+%   {\hsize\pagewidth
+%    \vsize\pageheight} % use after changing page size
+%
+% \def\contentsfile  {\jobname.toc} % file that gets table of contents info
+% \def\readcontents  {\input \contentsfile}
+% \def\readindex     {\input \jobname.idx}
+% \def\readsections  {\input \jobname.scn}
+%
+% \newwrite\cont
+% \output{\setbox0=\page % the first page is garbage
+% \openout\cont=\contentsfile
+% \write\cont{\catcode `\noexpand\@=11\relax}   % \makeatletter
+% \global\output{\normaloutput\page\lheader\rheader}}
+% \setpage
+% \vbox to \vsize{} % the first \topmark won't be null
+
+\defCWEBdummy\magnify#1%  magnify the page
+  {}
+
+\defCWEBmacro\ch%
+  {\note{The following sections were changed by the change file:}
+   \let\*=\relax}
+
+% \newbox\sbox % saved box preceding the index
+% \newbox\lbox % lefthand column in the index
+%
+% \def\inx%
+%   {\par\vskip6pt plus 1fil % we are beginning the index
+%    \def\page{\box255 }
+%    \normalbottom
+%    \write\cont{} % ensure that the contents file isn't empty
+%    \write\cont{\catcode `\noexpand\@=12\relax}   % \makeatother
+%    \closeout\cont % the contents information has been fully gathered
+%    \output
+%      {\ifpagesaved
+%         \normaloutput{\box\sbox}\lheader\rheader
+%       \fi
+%       \global\setbox\sbox=\page
+%       \global\pagesavedtrue}
+%    \pagesavedfalse
+%    \eject % eject the page-so-far and predecessors
+%    \setbox\sbox\vbox{\unvbox\sbox} % take it out of its box
+%    \vsize=\pageheight
+%    \advance\vsize by -\ht\sbox % the remaining height
+%    \hsize=.5\pagewidth
+%    \advance\hsize by -10pt
+%    % column width for the index (20pt between cols)
+%    \parfillskip 0pt plus .6\hsize % try to avoid almost empty lines
+%    \def\lr{L} % this tells whether the left or right column is next
+%    \output
+%      {\if L\lr
+%         \global\setbox\lbox=\page
+%         \gdef\lr{R}
+%       \else
+%         \normaloutput
+%           {\vbox to\pageheight
+%              {\box\sbox
+%               \vss
+%               \hbox to\pagewidth{\box\lbox\hfil\page}}}
+%           \lheader
+%           \rheader
+%    \global\vsize\pageheight\gdef\lr{L}\global\pagesavedfalse\fi}
+%    \message{Index:}
+%    \parskip 0pt plus .5pt
+%    \outer\def\I##1, {\par\hangindent2em\noindent##1:\kern1em} % index entry
+%    \def\[##1]{$\underline{##1}$} % underlined index item
+%    \rm
+%    \rightskip0pt plus 2.5em
+%    \tolerance 10000
+%    \let\*=\lapstar
+%    \hyphenpenalty 10000
+%    \parindent0pt
+%    \readindex}
+%
+% \def\fin%
+%   {\par\vfill\eject % this is done when we are ending the index
+%    \ifpagesaved\null\vfill\eject\fi % output a null index column
+%    \if L\lr\else\null\vfill\eject\fi % finish the current page
+%    \parfillskip 0pt plus 1fil
+%    \def\grouptitle{NAMES OF THE SECTIONS}
+%    \let\topsecno=\nullsec
+%    \message{Section names:}
+%    \output={\normaloutput\page\lheader\rheader}
+%    \setpage
+%    \def\note##1##2.{\quad{\eightrm##1~##2.}}
+%    \def\Q{\note{Cited in section}} % crossref for mention of a section
+%    \def\Qs{\note{Cited in sections}} % crossref for mentions of a section
+%    \def\U{\note{Used in section}} % crossref for use of a section
+%    \def\Us{\note{Used in sections}} % crossref for uses of a section
+%    \def\I{\par\hangindent 2em}\let\*=*
+%    \readsections}
+%
+% \def\con%
+%   {\par\vfill\eject % finish the section names
+%    %\ifodd\pageno\else\titletrue\null\vfill\eject\fi % for duplex printers
+%    \rightskip     = 0pt
+%    \hyphenpenalty = 50
+%    \tolerance     = 200
+%    \setpage
+%    \output={\normaloutput\page\lheader\rheader}
+%    \titletrue % prepare to output the table of contents
+%    \pageno=\contentspagenumber
+%    \def\grouptitle{TABLE OF CONTENTS}
+%    \message{Table of contents:}
+%    \topofcontents
+%    \line{\hfil Section\hbox to3em{\hss Page}}
+%    \let\ZZ=\contentsline
+%    \readcontents\relax % read the contents info
+%    \botofcontents
+%    \end} % print the contents page(s) and terminate
+%
+% \def\contentsline#1#2#3#4%
+%   {\ifnum#2=0
+%      \smallbreak
+%    \fi
+%    \line{\consetup{#2}#1
+%    \rm\leaders\hbox to .5em{.\hfil}\hfil\ #3\hbox to3em{\hss#4}}}
+%
+
+\defCWEBmacro\consetup#1%
+  {\ifcase#1 \bf        % depth -1 (@**)
+   \or                  % depth  0 (@*)
+   \or       \hskip2em  % depth  1 (@*1)
+   \or       \hskip4em  % depth  2 (@*2)
+   \or       \hskip6em  % depth  3 (@*3)
+   \or       \hskip8em  % depth  4 (@*4)
+   \or       \hskip10em % depth  5 (@*5)
+   \else     \hskip12em
+   \fi}                 % depth  6 or more
+
+\defCWEBdummy \inx    {} % index
+\defCWEBdummy \fin    {} % finish
+\defCWEBdummy \con    {} % table of contents and finish
+
+\defCWEBdummy \noinx  {} % no indexes or table of contents
+\defCWEBdummy \nosecs {} % no index of section names or table of contents
+\defCWEBdummy \nocon  {} % no table of contents
+
+\defCWEBmacro\,%
+  {\relax
+   \ifmmode
+     \mskip\thinmuskip
+   \else
+     \thinspace
+   \fi}
+
+% \def\noinx%
+%   {\let\inx=\end}
+%
+% \def\nosecs%
+%   {\let\FIN=\fin
+%    \def\fin%
+%      {\let\parfillskip=\end
+%       \FIN}}
+%
+% \def\nocon%
+%   {\let\con=\end}
+%
+% \newcount\twodigits
+%
+% \def\hours%
+%   {\twodigits=\time
+%    \divide\twodigits by 60
+%    \printtwodigits
+%    \multiply\twodigits by -60
+%    \advance\twodigits by \time
+%    :\printtwodigits}
+%
+% \def\gobbleone1{}
+%
+% \def\printtwodigits%
+%   {\advance\twodigits by 100
+%    \expandafter\gobbleone\number\twodigits
+%    \advance\twodigits by -100 }
+%
+% \def\today%
+%   {\ifcase\month
+%    \or January\or February\or     March\or   April\or      May\or     June%
+%    \or    July\or   August\or September\or October\or November\or December%
+%    \fi
+%    \space
+%    \number\day, \number\year}
+%
+% \def\datethis%
+%   {\def\startsection%
+%      {\leftline{\sc\today\ at \hours}
+%       \bigskip
+%       \let\startsection=\stsec
+%       \stsec}}
+%
+% \def\datecontentspage%
+%   {\def\topofcontents%
+%      {\leftline{\sc\today\ at \hours}
+%        \bigskip
+%        \centerline{\titlefont\title}
+%        \vfill}}
+
+\defCWEBdummy\datethis         {} % say `\datethis' in limbo, to get your listing timestamped before section 1
+\defCWEBdummy\datecontentspage {} % timestamps the contents page
+
+\defCWEBmacro\TeX%
+  {{\ifmmode\it\fi
+    \leavevmode
+    \hbox{T\kern-.1667em\lower.424ex\hbox{E}\hskip-.125em X}}}
+
+% alternative implementation
+
+\newif\ifCWEBnotes
+
+\defCWEBmacro\Q  {\CWEBnotesfalse \note{This code is cited in section}}  % xref for mention of a section
+\defCWEBmacro\Qs {\CWEBnotestrue  \note{This code is cited in sections}} % xref for mentions of a section
+
+\defCWEBmacro\U  {\CWEBnotesfalse \note{This code is used in section}}  % xref for use of a section
+\defCWEBmacro\Us {\CWEBnotestrue  \note{This code is used in sections}} % xref for uses of a section
+
+\defCWEBmacro\A  {\CWEBnotesfalse \note{See also section}}  % xref for doubly defined section name
+\defCWEBmacro\As {\CWEBnotestrue  \note{See also sections}} % xref for multiply defined section name
+
+\defCWEBmacro\ET% conjunction between two section numbers
+  { and~}
+
+\defCWEBmacro\ETs% conjunction between the last two of several section numbers
+  {, and~}
+
+%\def\processCWEBsectionnumbers[#1]%
+%  {\bgroup
+%   \def\CWEBcomma%
+%     {\def\CWEBcomma{, }}%
+%   \def\docommando##1%
+%     {\bgroup
+%      \def\[####1]{####1}%
+%      \xdef\CWEBreference{##1}%
+%      \egroup
+%      \CWEBcomma{\naar{\donottest{##1}}[web:\CWEBreference]}}%
+%   \processcommalist[{#1}]\docommando
+%   \egroup}
+
+% \def\processCWEBsectionnumbers[#1]%
+%   {\bgroup
+%    \def\CWEBcomma%
+%      {\def\CWEBcomma{, }}%
+%    \def\docommando##1%
+%      {\bgroup
+%       \def\(####1){####1}%
+%       \xdef\CWEBreference{##1}%
+%       \egroup
+%       \CWEBcomma
+%       {\localcolortrue\naar{\donottest{##1}}[web:\CWEBreference]}}%
+%    \bgroup
+%    \def\[##1]{\(##1)}\let\(=\relax\xdef\CWEBreferences{#1}%
+%    \egroup
+%    \unexpanded\def\(##1){\[##1]}%
+%    \processcommacommand[\CWEBreferences]\docommando
+%    \egroup}
+
+\def\processCWEBsectionnumbers[#1]%
+  {\bgroup
+   \def\CWEBcomma%
+     {\def\CWEBcomma{, }}%
+   \def\docommando##1%
+     {\bgroup
+      \def\[####1]{####1}%
+      \xdef\CWEBreference{##1}%
+      \egroup
+      \CWEBcomma{\localcolortrue\goto{\donottest{##1}}[web:\CWEBreference]}}%
+   \processlist{(}{)}{,}\docommando(#1)
+   \egroup}
+
+\def\processCWEBsectionnotes%
+  {\catcode`\s=12
+   \doprocessCWEBsectionnotes}
+
+\def\doprocessCWEBsectionnotes#1.%
+  {\ifCWEBnotes
+     \def\next##1\ET##2##3.%
+       {\processCWEBsectionnumbers[##1]%
+        \if##2s%
+          {, and~\goto{##3}[web:##3]}%
+        \else
+          { and~\goto{##2##3}[web:##2##3]}%
+        \fi}%
+      \next#1.%
+   \else
+     \goto{#1}[web:#1]%
+   \fi
+   \afterCWEBnote % inside group!
+   \egroup}
+
+\let\afterCWEBnote=\relax
+
+\defCWEBmacro\note#1%
+  {\bgroup
+   \Y\noindent
+   \def\afterCWEBnote{\par}%
+   \hangindent2em
+   %\baselineskip10pt
+   \eightrm#1~\processCWEBsectionnotes}
+
+\def\oldCWEBmacroX#1:#2\X% original
+  {\ifmmode
+     \gdef\XX{\null$\null}%
+   \else
+     \gdef\XX{}%
+   \fi % section name
+   \XX$\langle\,${#2\eightrm\kern.5em#1}$\,\rangle$\XX}
+
+\defCWEBmacro\ATH%
+  {\oldCWEBmacroX\kern-.5em:Preprocessor definitions\X}
+
+\def\newCWEBmacroX#1:#2\X% original
+  {\ifmmode
+     \gdef\XX{\null$\null}%
+   \else
+     \gdef\XX{}%
+   \fi % section name
+   \XX$\langle\,$%
+   {#2\eightrm\kern.5em\processCWEBsectionnumbers[{#1}]}%
+   $\,\rangle$\XX}
+
+\defCWEBmacro\X#1:#2\X%
+  {\newCWEBmacroX#1:#2\X}
+
+\definemarking[CWEBfilename]
+\definemarking[CWEBsectiontitle]
+\definemarking[CWEBsectionnumber]
+\definemarking[CWEBsectiondepth]
+
+\defCWEBmacro\M#1%
+  {\MN{#1}%
+   \ifon
+     \vfil
+     \penalty-100
+     \vfilneg % beginning of section
+     \theCWEBvskip
+     \startsection
+     \pagereference[web:#1]%
+     \expanded{\marking[CWEBsectionnumber]{\secno}}%
+     \expanded{\marking[CWEBsectiondepth]{\the\gdepth}}%
+     \ignorespaces}
+
+\defCWEBmacro\N#1#2#3.%
+  {\gdepth=#1%
+   \MN{#2}% beginning of starred section
+   \ifon
+     \ifnum#1<\secpagedepth
+       \vfil
+       \eject % force page break if depth is small
+     \else
+       \vfil
+       \penalty-100
+       \vfilneg
+       \theCWEBvskip
+     \fi
+   \fi
+   \message{*\secno}% progress report
+   \makesectionformat % context
+   \convertargument#3\to\ascii
+   \edef\next%
+     {\write\CWEBcont % write to contents file
+        {\string\ZZ{\ascii}{#1}{\secno}%
+           {\sectionformat::\noexpand\userfolio}{\noexpand\realfolio}}}%
+   \next % \ZZ{title}{depth}{sec}{page}
+   \ifon
+     \startsection
+     \pagereference[web:#2]%
+     \marking[CWEBsectiontitle] {#3}%
+     \expanded{\marking[CWEBsectionnumber]{\secno}}%
+     \expanded{\marking[CWEBsectiondepth]{\the\gdepth}}%
+     {\bf#3.\quad}%
+     \ignorespaces}
+
+\defCWEBmacro\MN#1%
+  {\par % common code for \M, \N
+   {\xdef\secstar{#1}%
+    \let\*=\empty
+    \xdef\secno{#1}}% remove \* from section name
+   \ifx\secno\secstar
+     \onmaybe
+   \else
+     \ontrue
+   \fi}
+
+\newif\iflinktoCWEBfile
+
+\def\setCWEBlinkfile#1%
+  {\linktoCWEBfiletrue
+   \def\otherCWEBfile{#1}}
+
+\unprotect
+
+\def\gotoCWEBsection#1[#2]%
+  {\iflinktoCWEBfile
+     \bgroup
+       \setupinteraction[\c!color=,\c!style=]%
+       \let\savedreferenceprefix=\referenceprefix
+       \localcolortrue
+       \goto{#1}[\otherCWEBfile::\savedreferenceprefix web:#2]%
+     \egroup
+   \else
+     #1%
+   \fi}
+
+\protect
+
+\defCWEBmacro\startsection%
+  {\rightskip=0pt % get out of C mode (cf. \B)
+   \sfcode`;=1500
+   \pretolerance 200
+   \hyphenpenalty 50
+   \exhyphenpenalty 50
+   \noindent
+   \bgroup
+   \let\*=\lapstar
+   \gotoCWEBsection{\bf\secstar.\quad}[\secno]%
+   \egroup}
+
+\def\ignoreCWEBinput%
+  {\let\normalinput=\input
+   \def\input ##1 %
+     {\let\input=\normalinput}}
+
+\def\loadCWEBmacros#1%
+  {\let\oldN=\N
+   \def\N{\bgroup\setbox0=\vbox\bgroup\endinput}%
+   \ignoreCWEBinput
+   \ReadFile{#1.tex}%
+   \egroup\egroup
+   \let\N=\oldN}
+
+\def\resetCWEBcontext%
+  {\catcode`\|=12  % used in context discretionaries
+   \everypar{}     % used for context indentation and floats
+   \parskip=0pt    % no stretch between cweb paragraphs
+   \parindent=1em} % is related to cweb backspace etc
+
+\newwrite\CWEBcont
+
+\def\processCWEBsource #1 %
+  {\bgroup
+   \resetCWEBcontext
+   \activateCWEB
+   \ignoreCWEBinput
+   \immediate\openout\CWEBcont=#1.toc
+   \write\CWEBcont{\noexpand\unprotect}
+   \message{Source:}
+   \marking[CWEBfilename]{#1}
+   \ReadFile{#1.tex}\relax
+   \write\CWEBcont{\noexpand\protect}
+   \closeout\CWEBcont
+   \par
+   \egroup}
+
+\def\resetCWEBindexentry%
+  {\xdef\currentCWEBindexentry{}}
+
+\def\showCWEBindexentry#1% can be redefined
+  {\theCWEBvskip
+   \vskip3\lineheight
+   \goodbreak
+   \vskip-3\lineheight
+   {\pagereference[web:#1]\bf#1}%
+   \theCWEBvskip}
+
+\def\checkCWEBindexentry#1%
+  {\bgroup
+   \def\\##1{##1}%  a dummy that also removes the {}
+   \def\|##1{##1}%  another dummy
+   \def\.##1{*##1}% and another (the typewriter one)
+   \def\&##1{##1}%  and a last one
+   \def\9##1{##1}%  hold this one
+   \catcode`*=11
+   \expandafter\def\expandafter\entry\expandafter{#1}%
+   \convertcommand\entry\to\ascii
+   \expanded{\FINDFIRSTCHARACTER{\ascii}}%
+   \doifnot{\currentCWEBindexentry}{\firstcharacter}
+     {\doifnot{\firstcharacter}{*} % signal for \firstbunch
+        {\global\let\currentCWEBindexentry=\firstcharacter
+         \showCWEBindexentry{\currentCWEBindexentry}}}%
+   \egroup}
+
+\def\theCWEBbeforeindex {\startcolumns}
+\def\theCWEBafterindex  {\stopcolumns}
+
+\def\processCWEBindex #1 %
+  {\bgroup
+   \resetCWEBcontext
+   \activateCWEB
+   \resetCWEBindexentry
+   \def\I##1, %
+     {\par
+      \checkCWEBindexentry{##1}%
+      \hangindent2em
+      \noindent##1:\kern1em%
+      \def\next####1.%
+        {\processCWEBsectionnumbers[{####1}]}%
+      \next}%
+   \def\[##1]%
+     {$\underline{##1}$}%
+   \let\*=\lapstar
+   \parfillskip 0pt plus .6\hsize % try to avoid almost empty lines
+%   \parskip 0pt plus .5pt
+   \rightskip0pt plus 2.5em
+   \tolerance 10000
+   \hyphenpenalty 10000
+   \parindent0pt
+   \message{Index:}
+   \marking[CWEBfilename]    {#1}
+   \marking[CWEBsectiontitle] {index}
+   \marking[CWEBsectionnumber]{}
+   \marking[CWEBsectiondepth]{}
+   \loadCWEBmacros{#1}
+   \theCWEBbeforeindex
+   \ReadFile{#1.idx}\relax
+   \theCWEBafterindex
+   \par
+   \egroup}
+
+\def\processCWEBsections #1 %
+  {\bgroup
+   \resetCWEBcontext
+   \activateCWEB
+   \loadCWEBmacros{#1}
+   \parfillskip = 0pt plus 1fil
+   \parindent   = 0pt
+   \let\topsecno=\nullsec
+   \def\note##1%
+     {\quad
+      \bgroup
+      \eightrm
+      ##1~\processCWEBsectionnotes}
+   \def\Q {\CWEBnotesfalse \note{Cited in section}}  % crossref for mention of a section
+   \def\Qs{\CWEBnotestrue  \note{Cited in sections}} % crossref for mentions of a section
+   \def\U {\CWEBnotesfalse \note{Used in section}}   % crossref for use of a section
+   \def\Us{\CWEBnotestrue  \note{Used in sections}}  % crossref for uses of a section
+   \def\I {\par\hangindent 2em}%
+   \let\*=*
+   \message{Section names:}
+   \marking[CWEBfilename]    {#1}
+   \marking[CWEBsectiontitle] {sections}
+   \marking[CWEBsectionnumber]{}
+   \marking[CWEBsectiondepth]{}
+   \loadCWEBmacros{#1}
+   \ReadFile{#1.scn}\relax
+   \par
+   \botofcontents
+   \par
+   \egroup}
+
+\def\processCWEBcontents #1 %
+  {\bgroup
+   \resetCWEBcontext
+   \activateCWEB
+   \loadCWEBmacros{#1}
+   \rightskip     = 0pt
+   \hyphenpenalty = 50
+   \tolerance     = 200
+   \parindent     = 0pt
+   \line{\hfil Section\hbox to3em{\hss Page}}
+   \let\ZZ=\contentsline
+   \message{Table of contents:}
+   \marking[CWEBfilename]    {#1}
+   \marking[CWEBsectiontitle] {table of contents}
+   \marking[CWEBsectionnumber]{}
+   \marking[CWEBsectiondepth]{}
+   \loadCWEBmacros{#1}
+   \ReadFile{#1.toc}\relax
+   \par
+   \egroup}
+
+\defCWEBmacro\contentsline#1#2#3#4#5%
+  {\ifnum#2=0
+     \smallbreak
+   \fi
+   \line{\consetup{#2}#1
+   \rm
+   \leaders\hbox to .5em{.\hfil}\hfil\
+   {\localcolortrue\goto{#3}[web:#3]}%  below: \gotorealpage ? should be changed
+   \hbox to3em{\localcolortrue\hss\gotorealpage{}{}{#5}{\translatednumber[#4]\presetgoto}}}}
+
+%D A last hack, needed because a file can overload of the
+%D above. (Some day: a check like \type{\ifx#1\CWEBdefined}.)
+
+\def\outer#1#2%
+  {\ifx#2\undefined
+     \expandafter#1\expandafter#2%
+   \else
+     \expandafter#1\expandafter\ThrowAway
+   \fi}
+
+\endinput