n="1" align="left"> <code>(:retain</code> &#123;<var>boolean</var> 
| <code>:propagate</code>&#125;<code>)</code> |</td></tr>
<tr>
<td valign="baseline" colspan="1" align="left"></td><td valign="baseline" colspan="1" align="left"> <code>(:use-global-instance-name-counter</code> <var>boolean</var><code>)</code> </td></tr>
<tr>
<td valign="baseline" colspan="1" align="left"></td></tr></tbody></table>
<table class="tight"><tbody><tr>
<td valign="baseline" colspan="1" align="left">
<nobr><var>initial-space-inst