Please find attached a patch bundle with testcases for CLOS semantics and prototypes.
I have added a score of new tests, and fixed some existing tests so that their results do not depend on the global (more precisely, dynamic) settings of the semantics variables, *JSON-SYMBOLS-PACKAGE* and *PROTOTYPE-NAME*. All tests now run OK (tested under both Clozure CL and SBCL on Darwin/PPC).
Sincerely, B. Smilga.