diff --git a/src/c/symbols_list.h b/src/c/symbols_list.h
index 4f85f3071..15df9b7fb 100755
--- a/src/c/symbols_list.h
+++ b/src/c/symbols_list.h
@@ -1949,5 +1949,7 @@ cl_symbols[] = {
 {EXT_ "UNIX-SIGNAL-RECEIVED-CODE", EXT_ORDINARY, NULL, -1, OBJNULL},
 {KEY_ "CODE", KEYWORD, NULL, -1, OBJNULL},
 
+{EXT_ "ASSUME-RIGHT-TYPE", EXT_ORDINARY, NULL, -1, OBJNULL},
+
 /* Tag for end of list */
 {NULL, CL_ORDINARY, NULL, -1, OBJNULL}};
diff --git a/src/c/symbols_list2.h b/src/c/symbols_list2.h
index dd4baa98c..766546306 100755
--- a/src/c/symbols_list2.h
+++ b/src/c/symbols_list2.h
@@ -1949,5 +1949,7 @@ cl_symbols[] = {
 {EXT_ "UNIX-SIGNAL-RECEIVED-CODE",NULL},
 {KEY_ "CODE",NULL},
 
+{EXT_ "ASSUME-RIGHT-TYPE",NULL},
+
 /* Tag for end of list */
 {NULL,NULL}};
diff --git a/src/cmp/cmppolicy.lsp b/src/cmp/cmppolicy.lsp
index f81b99998..c5ab1eaf3 100644
--- a/src/cmp/cmppolicy.lsp
+++ b/src/cmp/cmppolicy.lsp
@@ -31,10 +31,6 @@
   (setf (gethash 'compilation-speed *optimization-quality-switches*)
         '#1=((0 . 0) . #1#)))
 
-(eval-when (:load-toplevel)
-  (defparameter *optimization-quality-switches*
-    #.*optimization-quality-switches*))
-
 #.`(eval-when (:compile-toplevel :execute :load-toplevel)
   ,@(loop for name in +optimization-quality-orders+
        for i from 0 by 4
@@ -318,3 +314,7 @@ INTGERP, STRINGP.")
 
 (defun compiler-push-events ()
   (>= (cmp-env-optimization 'safety) 3))
+
+(eval-when (:load-toplevel)
+  (defparameter *optimization-quality-switches*
+    #.*optimization-quality-switches*))