diff --git a/src/cmp/cmptop.lsp b/src/cmp/cmptop.lsp
index fbac05aef..5bfc07733 100644
--- a/src/cmp/cmptop.lsp
+++ b/src/cmp/cmptop.lsp
@@ -123,7 +123,8 @@
     (wt-nl1 "extern \"C\"")
     (wt-nl1 "#endif")
     (wt-nl1 "void " name "(cl_object flag)")
-    (wt-nl1 "{ VT" *reservation-cmacro* " CLSR" *reservation-cmacro*)
+    (wt-nl1 "{ VT" *reservation-cmacro* " VLEX" *reservation-cmacro*
+            " CLSR" *reservation-cmacro*)
     (wt-nl "cl_object value0;")
     (wt-nl "cl_object *VVtemp;")
     (when shared-data