The initial value of an &AUX variable in a boa lambda list is the value of the corresponding slot's initial form.
&AUX