+
+(dolist (name '(sb-mop:generic-function
+ sb-mop:method sb-mop:method-combination
+ sb-mop:slot-definition sb-mop:specializer))
+ (assert (find (find-class 'sb-mop:metaobject)
+ (sb-mop:class-direct-superclasses (find-class name))))
+ (assert (subtypep name 'sb-mop:metaobject)))