\def\nl{\unskip\hfill\penalty-10000\relax}
\def\spec#1.{{\bf Specification of the procedure} #1.\smallskip}
\def\specs#1.{{\bf Specification of the procedures} #1.\smallskip}
\def\descr#1:{\smallskip\hangindent5em\noindent\hskip5em
              \llap{{\bf #1}:\enspace}\ignorespaces}
\def\descno#1.{\hbox to 1.25em{#1.\hss}\ignorespaces}
\def\descrr#1{\par\hangindent5em\noindent\hskip5em
                 \llap{#1\enspace}\ignorespaces}
\def\arg#1:{\descrr{#1:}}