\magnification=\magstephalf
\hsize=6.0truein\hoffset=0.5truein
\vsize=8truein\voffset=0.5truein
\raggedbottom
\font\Bbf=cmbx10 at 17.28truept
\font\bbf=cmbx10 at 14.4truept
\def\section#1\\{\goodbreak\vskip\baselineskip\leftline{\bbf #1}\vb}
\def\vb{\vskip\baselineskip}
\def\b #1(){{\bf #1()}}
\def\not{$\neg$}
\def\xor{$\oplus$}
\def\.#1{{\tt #1}}
\def\reg#1/{{\tt #1\space}}
%
{\obeyspaces\gdef {\ }}
\def\begverb#1{\begingroup\def\par{\leavevmode\endgraf}
\catcode`\\=12\catcode`\{=12
\catcode`\}=12\catcode`\$=12\catcode`\&=12
\catcode`\#=12\catcode`\%=12\catcode`\~=12
\catcode`\_=12\catcode`\^=12\obeyspaces\obeylines\tt
\parindent=0pt\catcode#1=0}
\def\endverb{\par\endgroup}
%
\newread\verbinfile\newif\ifverbdone
\def\verbfile#1{{\catcode`\\=12\catcode`\{=12
\catcode`\}=12\catcode`\$=12\catcode`\&=12
\catcode`\#=12\catcode`\%=12\catcode`\~=12
\catcode`\_=12\catcode`\^=12\obeyspaces\obeylines\tt
\verbdonetrue\openin\verbinfile=#1
\loop\read\verbinfile to \inline
\ifeof\verbinfile\verbdonefalse\else
\leftline{\inline}\fi
\ifverbdone\repeat\closein\verbinfile}}
%
\font\bigsym=cmsy10 at 24.88truept
\font\bigit=cmti10 at 24.88truept
\def\radeyelogo{{\textfont1=\bigit\textfont2=\bigsym
\hbox{$\sqrt{\kern-0.3em i}$\hskip 6truept
\vbox{\bbf\baselineskip=15truept\hbox{Radical Eye}\hbox{Software}
\vskip-2.5truept}}}}
%
\def\bv{\goodbreak\begverb{`\$}\leftskip=40pt}
%
%   Normally ~ is a tie.  We need it often enough to imply logical
%   negation that we redefine it, making it a plain old char.
%
\catcode`\~=12
\font\sm=cmr7
