diff --git a/compiler/generic/vm-typetran.lisp b/compiler/generic/vm-typetran.lisp
index 42b6435af65a56d294e04db8ac11d8736bfba642..82b816b32849f25ab658aba84e53465a4f02e9b8 100644
--- a/compiler/generic/vm-typetran.lisp
+++ b/compiler/generic/vm-typetran.lisp
@@ -7,7 +7,7 @@
 ;;; Scott Fahlman (FAHLMAN@CMUC). 
 ;;; **********************************************************************
 ;;;
-;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-typetran.lisp,v 1.3 1990/03/29 21:33:22 wlott Exp $
+;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/generic/vm-typetran.lisp,v 1.4 1990/05/06 05:31:38 wlott Exp $
 ;;;
 ;;; This file contains the implimentation specific type transformation magic.
 ;;; Basically, the various non-standard predicates that can be used in typep
@@ -34,6 +34,8 @@
 (define-type-predicate single-float-p single-float)
 (define-type-predicate simple-array-p simple-array)
 (define-type-predicate system-area-pointer-p system-area-pointer)
+(define-type-predicate unsigned-byte-32-p (unsigned-byte 32))
+(define-type-predicate signed-byte-32-p (signed-byte 32))
 
 ;;; Unlike the un-%'ed versions, these are true type predicates, accepting any
 ;;; type object.