--- stack/stack.c	2002/02/07 05:24:19	1.49
+++ stack/stack.c	2002/02/07 23:52:20	1.50
@@ -203,7 +203,7 @@
     ="0123456789abcdef";
   char *new_string, *current;
 
-  new_string=malloc(strlen(old_string)+4);
+  new_string=malloc((strlen(old_string)*2)+4);
   strcpy(new_string, "sx_");	/* Stack eXternal */
   current=new_string+3;
   while(old_string[0] != '\0'){