Personally, I usually put the documentation strings after the declarations. One also has to consider macros expanding into both documentation strings (is this really allowed?) as well as declarations. The "simple parsing program" you allude to has been proposed under the name of PARSE-BODY, but partly with my flaming seems to have been stalled in committee.