I don't think that it would be correct for a declaration at the head of a macrolet to affect the bodies of any of the macros, since the bodies of the macros are defined to be in the null environment. The only use for declarations in this place would be to make pervasive declarations which affect the body of the MACROLET. Of course this could be done by LOCALLY. Rob