"DUPLICATE-DEFINITION" "DUPLICATE-DEFINITION-NAME"
"PACKAGE-AT-VARIANCE" "ARRAY-INITIAL-ELEMENT-MISMATCH"
"TYPE-WARNING" "LOCAL-ARGUMENT-MISMATCH"
-
+ "FORMAT-ARGS-MISMATCH" "FORMAT-TOO-FEW-ARGS-WARNING"
+ "FORMAT-TOO-MANY-ARGS-WARNING"
+
;; ..and DEFTYPEs..
"INDEX" "LOAD/STORE-INDEX"
"SIGNED-BYTE-WITH-A-BITE-OUT"