diff --git a/collects/compiler/decompile.ss b/collects/compiler/decompile.ss
index cff92eccd5..be61752ce8 100644
--- a/collects/compiler/decompile.ss
+++ b/collects/compiler/decompile.ss
@@ -336,7 +336,7 @@
                                       bitwise-bit-set? char=?
                                       + - * / quotient remainder min max bitwise-and bitwise-ior bitwise-xor
                                       arithmetic-shift vector-ref string-ref bytes-ref
-                                      set-mcar! set-mcdr! cons mcons
+                                      set-mcar! set-mcdr! cons mcons set-box!
                                       list list* vector vector-immutable))]
              [(4) (memq (car a) '(vector-set! string-set! bytes-set!
                                               list list* vector vector-immutable
diff --git a/collects/compiler/zo-marshal.ss b/collects/compiler/zo-marshal.ss
index c59938b482..2ac973aba1 100644
--- a/collects/compiler/zo-marshal.ss
+++ b/collects/compiler/zo-marshal.ss
@@ -247,11 +247,11 @@
 (define wcm-type-num 14)
 (define quote-syntax-type-num 15)
 (define variable-type-num 24)
-(define top-type-num 87)
-(define case-lambda-sequence-type-num 96)
-(define begin0-sequence-type-num 97)
-(define module-type-num 100)
-(define prefix-type-num 102)
+(define top-type-num 89)
+(define case-lambda-sequence-type-num 99)
+(define begin0-sequence-type-num 100)
+(define module-type-num 103)
+(define prefix-type-num 105)
 
 (define-syntax define-enum
   (syntax-rules ()
diff --git a/collects/compiler/zo-parse.ss b/collects/compiler/zo-parse.ss
index 77e6685c95..868d7cbff2 100644
--- a/collects/compiler/zo-parse.ss
+++ b/collects/compiler/zo-parse.ss
@@ -314,10 +314,10 @@
     [(15) 'quote-syntax-type]
     [(24) 'variable-type]
     [(25) 'module-variable-type]
-    [(96) 'case-lambda-sequence-type]
-    [(97) 'begin0-sequence-type]
-    [(100) 'module-type]
-    [(102) 'resolve-prefix-type]
+    [(99) 'case-lambda-sequence-type]
+    [(100) 'begin0-sequence-type]
+    [(103) 'module-type]
+    [(105) 'resolve-prefix-type]
     [else (error 'int->type "unknown type: ~e" i)]))
 
 (define type-readers