Here is a "bug-report"/enhancement suggestion:

------------------------------------------------------------------------

The following special operators don't have a corresponding macro definition.

THREADS:SYNCHRONIZED-ON EXTENSIONS:TRULY-THE JVM:WITH-INLINE-CODE

While the standard doesn't specify anything for special operators not in the CL package, it would still be nice if they followed the same rule as for CL macros implemented as special operators:

3.1.2.1.2.2 Macro Forms An implementation is free to implement any macro operator as a special operator, but only if an equivalent definition of the macro is also provided.

since this would ensure that portable code walkers can be written.

------------------------------------------------------------------------