New file containing a DEFGENERC form for VALIDATE-SUPERCLASS.