<sub>1</sub>&gt; <code>...</code>
&lt;variable<sub><i>n</i></sub>&gt; . &lt;variable<sub><i>n</i> +
1</sub>&gt;<code>)</code>:  The environment in which 
the <code>receive</code>-expression is evaluated is extended by binding
</code>&lt;variable<sub>1</sub>&gt;, ...,
&lt;variable<sub><i>n</i> + 1</sub>&gt; to fresh locations.  The
&lt;expression&gt; is evaluated.  Its first <i>n</i> values are stored into
the locations bound to &lt;variable<sub>1</sub>&gt; <code>...</code>
&lt;variable<sub><i>n</i></sub>&gt