<nobr><code>progn</code></nobr>, and the
values it returns are returned as the value of the <nobr><b>ecase-using</b></nobr>
form.
</p>
<p><a name="id1">If</a> no <var>clause</var> is selected, a non-correctable error of type
<nobr><code>case-using-failure</code></nobr> (a subclass of <nobr><code>type-error</code></nobr>) is
signaled. The offending datum is the <nobr><var>test-key</var></nobr> and the expected
type is type equivalent to <nobr><code>(member (union</code> <var>keys</var>
<code>:test</code> <va