--- runtime.c.orig	2005-11-16 19:53:45.000000000 -0600
+++ runtime.c	2005-11-16 19:53:49.000000000 -0600
@@ -7308,7 +7308,7 @@
 
 void C_make_tagged_pointer(C_word c, C_word closure, C_word k, C_word tag)
 {
-  C_word ab[ 2 ], *a = ab,
+  C_word ab[ 3 ], *a = ab,
          p;
 
   p = C_taggedmpointer(&a, tag, NULL);