bjects read are referred to by the variables named
    in the parameter list in order from left to right.<p>

      If the parameter declaration has the form:

<pre>
<em>Identifier</em> : <em>t</em>
</pre>

    then the created variable can refer to objects of type <em>t</em>.

    <h4>Constant Declarations</h4>

    A constant is created, and the identifier represents this
    constant.  The extent of the created constant begins when the
    declaration is executed and ends when execution of the program is