1) C-M-C-M-Return clobbers the default filename. 2) Restarting out of a QC-FILE seems not to reset everything, so that it thinks that (SPECIAL FOO) should go on the local declaration list instead of having permanent effect.