--- a/src/c/urweb.c	Tue Jan 11 14:03:54 2011 -0500
+++ b/src/c/urweb.c	Tue Jan 11 18:04:52 2011 -0500
@@ -1176,7 +1176,7 @@
 
     if (new_heap != b->start) {
       b->start = new_heap;
-      uw_error(ctx, UNLIMITED_RETRY, "Couldn't allocate new %s contiguously", desc);
+      uw_error(ctx, UNLIMITED_RETRY, "Couldn't allocate new %s contiguously; increasing size to %llu", desc, (unsigned long long)next);
     }
 
     b->start = new_heap;
@@ -3602,6 +3602,11 @@
 
 size_t uw_database_max = SIZE_MAX;
 
+uw_Basis_int uw_Basis_naughtyDebug(uw_context ctx, uw_Basis_string s) {
+  fprintf(stderr, "%s\n", s);
+  return 0;
+}
+
 uw_Basis_unit uw_Basis_debug(uw_context ctx, uw_Basis_string s) {
   if (ctx->log_debug)
     ctx->log_debug(ctx->logger_data, "%s\n", s);