Can I use a docstring followed by DECLARE in a local function?

Hi,

This:

defun z ()
(labels ((a ()
"aaa"
(declare (optimize (speed 3) (safety 1)))
(pprint 1)))
(a)))

Works on all Lisps I have tried except XCL. Is it legal according to ANSI?

I mean, tit compiles nicely if there is no docstring before the DECLARE. But
with the docstring, XCL interprets (DECLARE ...) as a function call.

BTW, I tried sending email to Peter Graves, but it's bouncing.

J.

.