diff --git a/src/cmp/proclamations.lsp b/src/cmp/proclamations.lsp
index 1931dea89..f4836ac07 100644
--- a/src/cmp/proclamations.lsp
+++ b/src/cmp/proclamations.lsp
@@ -161,6 +161,7 @@
 (deftype ext:instance ()
   'standard-object)
 
+(proclaim '(notinline ext:constantp-inner ext:constant-form-value))
 
 (eval-when (:compile-toplevel :execute)
 (defparameter +proclamations+ '(