Trailing whitespace deleted.
[bpt/emacs.git] / src / print.c
index b399d63..6c85c24 100644 (file)
@@ -1,5 +1,6 @@
 /* Lisp object printing and output streams.
-   Copyright (C) 1985, 86, 88, 93, 94, 95 Free Software Foundation, Inc.
+   Copyright (C) 1985, 86, 88, 93, 94, 95, 97, 98, 1999, 2000, 2001
+       Free Software Foundation, Inc.
 
 This file is part of GNU Emacs.
 
@@ -22,34 +23,77 @@ Boston, MA 02111-1307, USA.  */
 #include <config.h>
 #include <stdio.h>
 #include "lisp.h"
-
-#ifndef standalone
 #include "buffer.h"
 #include "charset.h"
+#include "keyboard.h"
 #include "frame.h"
 #include "window.h"
 #include "process.h"
 #include "dispextern.h"
 #include "termchar.h"
-#include "keyboard.h"
-#endif /* not standalone */
-
-#ifdef USE_TEXT_PROPERTIES
 #include "intervals.h"
-#endif
 
 Lisp_Object Vstandard_output, Qstandard_output;
 
+Lisp_Object Qtemp_buffer_setup_hook;
+
 /* These are used to print like we read.  */
 extern Lisp_Object Qbackquote, Qcomma, Qcomma_at, Qcomma_dot, Qfunction;
 
-#ifdef LISP_FLOAT_TYPE
 Lisp_Object Vfloat_output_format, Qfloat_output_format;
-#endif /* LISP_FLOAT_TYPE */
+
+/* Work around a problem that happens because math.h on hpux 7
+   defines two static variables--which, in Emacs, are not really static,
+   because `static' is defined as nothing.  The problem is that they are
+   defined both here and in lread.c.
+   These macros prevent the name conflict.  */
+#if defined (HPUX) && !defined (HPUX8)
+#define _MAXLDBL print_maxldbl
+#define _NMAXLDBL print_nmaxldbl
+#endif
+
+#include <math.h>
+
+#if STDC_HEADERS
+#include <float.h>
+#endif
+
+/* Default to values appropriate for IEEE floating point.  */
+#ifndef FLT_RADIX
+#define FLT_RADIX 2
+#endif
+#ifndef DBL_MANT_DIG
+#define DBL_MANT_DIG 53
+#endif
+#ifndef DBL_DIG
+#define DBL_DIG 15
+#endif
+#ifndef DBL_MIN
+#define DBL_MIN 2.2250738585072014e-308
+#endif
+
+#ifdef DBL_MIN_REPLACEMENT
+#undef DBL_MIN
+#define DBL_MIN DBL_MIN_REPLACEMENT
+#endif
+
+/* Define DOUBLE_DIGITS_BOUND, an upper bound on the number of decimal digits
+   needed to express a float without losing information.
+   The general-case formula is valid for the usual case, IEEE floating point,
+   but many compilers can't optimize the formula to an integer constant,
+   so make a special case for it.  */
+#if FLT_RADIX == 2 && DBL_MANT_DIG == 53
+#define DOUBLE_DIGITS_BOUND 17 /* IEEE floating point */
+#else
+#define DOUBLE_DIGITS_BOUND ((int) ceil (log10 (pow (FLT_RADIX, DBL_MANT_DIG))))
+#endif
 
 /* Avoid actual stack overflow in print.  */
 int print_depth;
 
+/* Nonzero if inside outputting backquote in old style.  */
+int old_backquote_output;
+
 /* Detect most circularities to print finite output.  */
 #define PRINT_CIRCLE 200
 Lisp_Object being_printed[PRINT_CIRCLE];
@@ -60,8 +104,10 @@ char *print_buffer;
 
 /* Size allocated in print_buffer.  */
 int print_buffer_size;
-/* Size used in print_buffer.  */
+/* Chars stored in print_buffer.  */
 int print_buffer_pos;
+/* Bytes stored in print_buffer.  */
+int print_buffer_pos_byte;
 
 /* Maximum length of list to print in full; noninteger means
    effectively infinity */
@@ -77,85 +123,64 @@ Lisp_Object Vprint_level;
 
 int print_escape_newlines;
 
+/* Nonzero means to print single-byte non-ascii characters in strings as
+   octal escapes.  */
+
+int print_escape_nonascii;
+
+/* Nonzero means to print multibyte characters in strings as hex escapes.  */
+
+int print_escape_multibyte;
+
 Lisp_Object Qprint_escape_newlines;
+Lisp_Object Qprint_escape_multibyte, Qprint_escape_nonascii;
 
 /* Nonzero means print (quote foo) forms as 'foo, etc.  */
 
 int print_quoted;
 
-/* Nonzero means print #: before uninterned symbols.  */
+/* Non-nil means print #: before uninterned symbols.  */
+
+Lisp_Object Vprint_gensym;
 
-int print_gensym;
+/* Non-nil means print recursive structures using #n= and #n# syntax.  */
 
-/* Association list of certain objects that are `eq' in the form being
-   printed and which should be `eq' when read back in, using the #n=object
-   and #n# reader forms.  Each element has the form (object . n).  */
+Lisp_Object Vprint_circle;
 
-Lisp_Object printed_gensyms;
+/* Non-nil means keep continuous number for #n= and #n# syntax
+   between several print functions.  */
+
+Lisp_Object Vprint_continuous_numbering;
+
+/* Vprint_number_table is a vector like [OBJ1 STAT1 OBJ2 STAT2 ...],
+   where OBJn are objects going to be printed, and STATn are their status,
+   which may be different meanings during process.  See the comments of
+   the functions print and print_preprocess for details.
+   print_number_index keeps the last position the next object should be added,
+   twice of which is the actual vector position in Vprint_number_table.  */
+int print_number_index;
+Lisp_Object Vprint_number_table;
+
+/* PRINT_NUMBER_OBJECT returns the I'th object in Vprint_number_table TABLE.
+   PRINT_NUMBER_STATUS returns the status of the I'th object in TABLE.
+   See the comment of the variable Vprint_number_table.  */
+#define PRINT_NUMBER_OBJECT(table,i) XVECTOR ((table))->contents[(i) * 2]
+#define PRINT_NUMBER_STATUS(table,i) XVECTOR ((table))->contents[(i) * 2 + 1]
 
 /* Nonzero means print newline to stdout before next minibuffer message.
    Defined in xdisp.c */
 
 extern int noninteractive_need_newline;
 
+extern int minibuffer_auto_raise;
+
 #ifdef MAX_PRINT_CHARS
 static int print_chars;
 static int max_print;
 #endif /* MAX_PRINT_CHARS */
 
 void print_interval ();
-\f
-#if 0
-/* Convert between chars and GLYPHs */
-
-int
-glyphlen (glyphs)
-     register GLYPH *glyphs;
-{
-  register int i = 0;
-
-  while (glyphs[i])
-    i++;
-  return i;
-}
-
-void
-str_to_glyph_cpy (str, glyphs)
-     char *str;
-     GLYPH *glyphs;
-{
-  register GLYPH *gp = glyphs;
-  register char *cp = str;
-
-  while (*cp)
-    *gp++ = *cp++;
-}
-
-void
-str_to_glyph_ncpy (str, glyphs, n)
-     char *str;
-     GLYPH *glyphs;
-     register int n;
-{
-  register GLYPH *gp = glyphs;
-  register char *cp = str;
-
-  while (n-- > 0)
-    *gp++ = *cp++;
-}
 
-void
-glyph_to_str_cpy (glyphs, str)
-     GLYPH *glyphs;
-     char *str;
-{
-  register GLYPH *gp = glyphs;
-  register char *cp = str;
-
-  while (*gp)
-    *str++ = *gp++ & 0377;
-}
-#endif
 \f
 /* Low level output routines for characters and strings */
 
@@ -164,242 +189,264 @@ glyph_to_str_cpy (glyphs, str)
    and must start with PRINTPREPARE, end with PRINTFINISH,
    and use PRINTDECLARE to declare common variables.
    Use PRINTCHAR to output one character,
-   or call strout to output a block of characters.
-*/ 
-
-#define PRINTDECLARE                                           \
-   struct buffer *old = current_buffer;                                \
-   int old_point = -1, start_point;                            \
-   int specpdl_count = specpdl_ptr - specpdl;                  \
-   int free_print_buffer = 0;                                  \
+   or call strout to output a block of characters. */ 
+
+#define PRINTDECLARE                                                   \
+   struct buffer *old = current_buffer;                                        \
+   int old_point = -1, start_point = -1;                               \
+   int old_point_byte = -1, start_point_byte = -1;                     \
+   int specpdl_count = SPECPDL_INDEX ();                               \
+   int free_print_buffer = 0;                                          \
+   int multibyte = !NILP (current_buffer->enable_multibyte_characters);        \
    Lisp_Object original
 
-#define PRINTPREPARE                                           \
-   original = printcharfun;                                    \
-   if (NILP (printcharfun)) printcharfun = Qt;                 \
-   if (BUFFERP (printcharfun))                                 \
-     {                                                         \
-       if (XBUFFER (printcharfun) != current_buffer)           \
-        Fset_buffer (printcharfun);                            \
-       printcharfun = Qnil;                                    \
-     }                                                         \
-   if (MARKERP (printcharfun))                                 \
-     {                                                         \
-       if (!(XMARKER (original)->buffer))                      \
-         error ("Marker does not point anywhere");             \
-       if (XMARKER (original)->buffer != current_buffer)       \
-         set_buffer_internal (XMARKER (original)->buffer);     \
-       old_point = PT;                                         \
-       SET_PT (marker_position (printcharfun));                        \
-       start_point = PT;                                       \
-       printcharfun = Qnil;                                    \
-     }                                                         \
-   if (NILP (printcharfun))                                    \
-     {                                                         \
-       if (print_buffer != 0)                                  \
-        record_unwind_protect (print_unwind,                   \
-                               make_string (print_buffer,      \
-                                            print_buffer_pos)); \
-       else                                                    \
-        {                                                      \
-           print_buffer_size = 1000;                           \
-           print_buffer = (char *) xmalloc (print_buffer_size);        \
-          free_print_buffer = 1;                               \
-        }                                                      \
-       print_buffer_pos = 0;                                   \
-     }                                                         \
-   printed_gensyms = Qnil
-
-#define PRINTFINISH                                    \
-   if (NILP (printcharfun))                            \
-     insert (print_buffer, print_buffer_pos);          \
-   if (free_print_buffer)                              \
-     {                                                 \
-       xfree (print_buffer);                           \
-       print_buffer = 0;                               \
-     }                                                 \
-   unbind_to (specpdl_count, Qnil);                    \
-   if (MARKERP (original))                             \
-     Fset_marker (original, make_number (PT), Qnil);   \
-   if (old_point >= 0)                                 \
-     SET_PT (old_point + (old_point >= start_point     \
-                         ? PT - start_point : 0));     \
-   if (old != current_buffer)                          \
-     set_buffer_internal (old);                                \
-   printed_gensyms = Qnil
+#define PRINTPREPARE                                                   \
+   original = printcharfun;                                            \
+   if (NILP (printcharfun)) printcharfun = Qt;                         \
+   if (BUFFERP (printcharfun))                                         \
+     {                                                                 \
+       if (XBUFFER (printcharfun) != current_buffer)                   \
+        Fset_buffer (printcharfun);                                    \
+       printcharfun = Qnil;                                            \
+     }                                                                 \
+   if (MARKERP (printcharfun))                                         \
+     {                                                                 \
+       if (!(XMARKER (original)->buffer))                              \
+         error ("Marker does not point anywhere");                     \
+       if (XMARKER (original)->buffer != current_buffer)               \
+         set_buffer_internal (XMARKER (original)->buffer);             \
+       old_point = PT;                                                 \
+       old_point_byte = PT_BYTE;                                       \
+       SET_PT_BOTH (marker_position (printcharfun),                    \
+                   marker_byte_position (printcharfun));               \
+       start_point = PT;                                               \
+       start_point_byte = PT_BYTE;                                     \
+       printcharfun = Qnil;                                            \
+     }                                                                 \
+   if (NILP (printcharfun))                                            \
+     {                                                                 \
+       Lisp_Object string;                                             \
+       if (NILP (current_buffer->enable_multibyte_characters)          \
+          && ! print_escape_multibyte)                                 \
+         specbind (Qprint_escape_multibyte, Qt);                       \
+       if (! NILP (current_buffer->enable_multibyte_characters)                \
+          && ! print_escape_nonascii)                                  \
+         specbind (Qprint_escape_nonascii, Qt);                                \
+       if (print_buffer != 0)                                          \
+        {                                                              \
+          string = make_string_from_bytes (print_buffer,               \
+                                           print_buffer_pos,           \
+                                           print_buffer_pos_byte);     \
+          record_unwind_protect (print_unwind, string);                \
+        }                                                              \
+       else                                                            \
+        {                                                              \
+           print_buffer_size = 1000;                                   \
+           print_buffer = (char *) xmalloc (print_buffer_size);                \
+          free_print_buffer = 1;                                       \
+        }                                                              \
+       print_buffer_pos = 0;                                           \
+       print_buffer_pos_byte = 0;                                      \
+     }                                                                 \
+   if (EQ (printcharfun, Qt) && ! noninteractive)                      \
+     setup_echo_area_for_printing (multibyte);
+
+#define PRINTFINISH                                                    \
+   if (NILP (printcharfun))                                            \
+     {                                                                 \
+       if (print_buffer_pos != print_buffer_pos_byte                   \
+          && NILP (current_buffer->enable_multibyte_characters))       \
+        {                                                              \
+          unsigned char *temp                                          \
+            = (unsigned char *) alloca (print_buffer_pos + 1);         \
+          copy_text (print_buffer, temp, print_buffer_pos_byte,        \
+                     1, 0);                                            \
+          insert_1_both (temp, print_buffer_pos,                       \
+                         print_buffer_pos, 0, 1, 0);                   \
+        }                                                              \
+       else                                                            \
+        insert_1_both (print_buffer, print_buffer_pos,                 \
+                       print_buffer_pos_byte, 0, 1, 0);                \
+     }                                                                 \
+   if (free_print_buffer)                                              \
+     {                                                                 \
+       xfree (print_buffer);                                           \
+       print_buffer = 0;                                               \
+     }                                                                 \
+   unbind_to (specpdl_count, Qnil);                                    \
+   if (MARKERP (original))                                             \
+     set_marker_both (original, Qnil, PT, PT_BYTE);                    \
+   if (old_point >= 0)                                                 \
+     SET_PT_BOTH (old_point + (old_point >= start_point                        \
+                              ? PT - start_point : 0),                 \
+                 old_point_byte + (old_point_byte >= start_point_byte  \
+                              ? PT_BYTE - start_point_byte : 0));      \
+   if (old != current_buffer)                                          \
+     set_buffer_internal (old);
 
 #define PRINTCHAR(ch) printchar (ch, printcharfun)
 
-/* Nonzero if there is no room to print any more characters
-   so print might as well return right away.  */
-
-#define PRINTFULLP()                                   \
- (EQ (printcharfun, Qt) && !noninteractive             \
-  && printbufidx >= FRAME_WIDTH (XFRAME (WINDOW_FRAME (XWINDOW (minibuf_window)))))
-
 /* This is used to restore the saved contents of print_buffer
    when there is a recursive call to print.  */
+
 static Lisp_Object
 print_unwind (saved_text)
      Lisp_Object saved_text;
 {
-  bcopy (XSTRING (saved_text)->data, print_buffer, XSTRING (saved_text)->size);
+  bcopy (SDATA (saved_text), print_buffer, SCHARS (saved_text));
+  return Qnil;
 }
 
-/* Index of first unused element of FRAME_MESSAGE_BUF (mini_frame). */
-static int printbufidx;
+
+/* Print character CH using method FUN.  FUN nil means print to
+   print_buffer.  FUN t means print to echo area or stdout if
+   non-interactive.  If FUN is neither nil nor t, call FUN with CH as
+   argument.  */
 
 static void
 printchar (ch, fun)
      unsigned int ch;
      Lisp_Object fun;
 {
-  Lisp_Object ch1;
-
 #ifdef MAX_PRINT_CHARS
   if (max_print)
     print_chars++;
 #endif /* MAX_PRINT_CHARS */
-#ifndef standalone
-  if (EQ (fun, Qnil))
-    {
-      int len;
-      char work[4], *str;
-
-      QUIT;
-      len = CHAR_STRING (ch, work, str);
-      if (print_buffer_pos + len >= print_buffer_size)
-       print_buffer = (char *) xrealloc (print_buffer,
-                                         print_buffer_size *= 2);
-      bcopy (str, print_buffer + print_buffer_pos, len);
-      print_buffer_pos += len;
-      return;
-    }
 
-  if (EQ (fun, Qt))
+  if (!NILP (fun) && !EQ (fun, Qt))
+    call1 (fun, make_number (ch));
+  else
     {
-      FRAME_PTR mini_frame
-       = XFRAME (WINDOW_FRAME (XWINDOW (minibuf_window)));
-      unsigned char work[4], *str;
-      int len = CHAR_STRING (ch, work, str);
+      unsigned char str[MAX_MULTIBYTE_LENGTH];
+      int len = CHAR_STRING (ch, str);
 
       QUIT;
-
-      if (noninteractive)
+      
+      if (NILP (fun))
+       {
+         if (print_buffer_pos_byte + len >= print_buffer_size)
+           print_buffer = (char *) xrealloc (print_buffer,
+                                             print_buffer_size *= 2);
+         bcopy (str, print_buffer + print_buffer_pos_byte, len);
+         print_buffer_pos += 1;
+         print_buffer_pos_byte += len;
+       }
+      else if (noninteractive)
        {
-         while (len--)
-           putchar (*str), str++;
+         fwrite (str, 1, len, stdout);
          noninteractive_need_newline = 1;
-         return;
        }
-
-      if (echo_area_glyphs != FRAME_MESSAGE_BUF (mini_frame)
-         || !message_buf_print)
+      else
        {
-         message_log_maybe_newline ();
-         echo_area_glyphs = FRAME_MESSAGE_BUF (mini_frame);
-         printbufidx = 0;
-         echo_area_glyphs_length = 0;
-         message_buf_print = 1;
+         int multibyte_p
+           = !NILP (current_buffer->enable_multibyte_characters);
+         
+         setup_echo_area_for_printing (multibyte_p);
+         insert_char (ch);
+         message_dolog (str, len, 0, multibyte_p);
        }
-
-      message_dolog (str, len, 0);
-      if (printbufidx < FRAME_MESSAGE_BUF_SIZE (mini_frame) - len)
-       bcopy (str, &FRAME_MESSAGE_BUF (mini_frame)[printbufidx], len),
-       printbufidx += len;
-      FRAME_MESSAGE_BUF (mini_frame)[printbufidx] = 0;
-      echo_area_glyphs_length = printbufidx;
-
-      return;
     }
-#endif /* not standalone */
-
-  XSETFASTINT (ch1, ch);
-  call1 (fun, ch1);
 }
 
+
+/* Output SIZE characters, SIZE_BYTE bytes from string PTR using
+   method PRINTCHARFUN.  If SIZE < 0, use the string length of PTR for
+   both SIZE and SIZE_BYTE.  PRINTCHARFUN nil means output to
+   print_buffer.  PRINTCHARFUN t means output to the echo area or to
+   stdout if non-interactive.  If neither nil nor t, call Lisp
+   function PRINTCHARFUN for each character printed.  MULTIBYTE
+   non-zero means PTR contains multibyte characters.  */
+
 static void
-strout (ptr, size, printcharfun)
+strout (ptr, size, size_byte, printcharfun, multibyte)
      char *ptr;
-     int size;
+     int size, size_byte;
      Lisp_Object printcharfun;
+     int multibyte;
 {
-  int i = 0;
-
   if (size < 0)
-    size = strlen (ptr);
+    size_byte = size = strlen (ptr);
 
-  if (EQ (printcharfun, Qnil))
+  if (NILP (printcharfun))
     {
-      if (print_buffer_pos + size > print_buffer_size)
+      if (print_buffer_pos_byte + size_byte > print_buffer_size)
        {
-         print_buffer_size = print_buffer_size * 2 + size;
+         print_buffer_size = print_buffer_size * 2 + size_byte;
          print_buffer = (char *) xrealloc (print_buffer,
                                            print_buffer_size);
        }
-      bcopy (ptr, print_buffer + print_buffer_pos, size);
+      bcopy (ptr, print_buffer + print_buffer_pos_byte, size_byte);
       print_buffer_pos += size;
+      print_buffer_pos_byte += size_byte;
 
 #ifdef MAX_PRINT_CHARS
       if (max_print)
         print_chars += size;
 #endif /* MAX_PRINT_CHARS */
-      return;
     }
-  if (EQ (printcharfun, Qt))
+  else if (noninteractive && EQ (printcharfun, Qt))
     {
-      FRAME_PTR mini_frame
-       = XFRAME (WINDOW_FRAME (XWINDOW (minibuf_window)));
-
-      QUIT;
-
+      fwrite (ptr, 1, size_byte, stdout);
+      noninteractive_need_newline = 1;
+    }
+  else if (EQ (printcharfun, Qt))
+    {
+      /* Output to echo area.  We're trying to avoid a little overhead
+        here, that's the reason we don't call printchar to do the
+        job.  */
+      int i;
+      int multibyte_p
+       = !NILP (current_buffer->enable_multibyte_characters);
+      
+      setup_echo_area_for_printing (multibyte_p);
+      message_dolog (ptr, size_byte, 0, multibyte_p);
+      
+      if (size == size_byte)
+       {
+         for (i = 0; i < size; ++i)
+           insert_char ((unsigned char )*ptr++);
+       }
+      else
+       {
+         int len;
+         for (i = 0; i < size_byte; i += len)
+           {
+             int ch = STRING_CHAR_AND_LENGTH (ptr + i, size_byte - i, len);
+             insert_char (ch);
+           }
+       }
+      
 #ifdef MAX_PRINT_CHARS
       if (max_print)
         print_chars += size;
 #endif /* MAX_PRINT_CHARS */
+    }
+  else
+    {
+      /* PRINTCHARFUN is a Lisp function.  */
+      int i = 0;
 
-      if (noninteractive)
-       {
-         fwrite (ptr, 1, size, stdout);
-         noninteractive_need_newline = 1;
-         return;
-       }
-
-      if (echo_area_glyphs != FRAME_MESSAGE_BUF (mini_frame)
-         || !message_buf_print)
+      if (size == size_byte)
        {
-         message_log_maybe_newline ();
-         echo_area_glyphs = FRAME_MESSAGE_BUF (mini_frame);
-         printbufidx = 0;
-         echo_area_glyphs_length = 0;
-         message_buf_print = 1;
+         while (i < size_byte)
+           {
+             int ch = ptr[i++];
+             PRINTCHAR (ch);
+           }
        }
-
-      message_dolog (ptr, size, 0);
-      if (size > FRAME_MESSAGE_BUF_SIZE (mini_frame) - printbufidx - 1)
+      else
        {
-         size = FRAME_MESSAGE_BUF_SIZE (mini_frame) - printbufidx - 1;
-         /* Rewind incomplete multi-byte form.  */
-         while (size && (unsigned char) ptr[size] >= 0xA0) size--;
+         while (i < size_byte)
+           {
+             /* Here, we must convert each multi-byte form to the
+                corresponding character code before handing it to
+                PRINTCHAR.  */
+             int len;
+             int ch = STRING_CHAR_AND_LENGTH (ptr + i, size_byte - i, len);
+             PRINTCHAR (ch);
+             i += len;
+           }
        }
-      bcopy (ptr, &FRAME_MESSAGE_BUF (mini_frame) [printbufidx], size);
-      printbufidx += size;
-      echo_area_glyphs_length = printbufidx;
-      FRAME_MESSAGE_BUF (mini_frame) [printbufidx] = 0;
-
-      return;
-    }
-
-  i = 0;
-  while (i < size)
-    {
-      /* Here, we must convert each multi-byte form to the
-         corresponding character code before handing it to PRINTCHAR.  */
-      int len;
-      int ch = STRING_CHAR_AND_LENGTH (ptr + i, size - i, len);
-
-      PRINTCHAR (ch);
-      i += len;
     }
 }
 
@@ -407,47 +454,99 @@ strout (ptr, size, printcharfun)
    It isn't safe to use strout in many cases,
    because printing one char can relocate.  */
 
+static void
 print_string (string, printcharfun)
      Lisp_Object string;
      Lisp_Object printcharfun;
 {
   if (EQ (printcharfun, Qt) || NILP (printcharfun))
-    /* strout is safe for output to a frame (echo area) or to print_buffer.  */
-    strout (XSTRING (string)->data, XSTRING (string)->size, printcharfun);
+    {
+      int chars;
+
+      if (STRING_MULTIBYTE (string))
+       chars = SCHARS (string);
+      else if (EQ (printcharfun, Qt)
+              ? ! NILP (buffer_defaults.enable_multibyte_characters)
+              : ! NILP (current_buffer->enable_multibyte_characters))
+       {
+         /* If unibyte string STRING contains 8-bit codes, we must
+            convert STRING to a multibyte string containing the same
+            character codes.  */
+         Lisp_Object newstr;
+         int bytes;
+
+         chars = SBYTES (string);
+         bytes = parse_str_to_multibyte (SDATA (string), chars);
+         if (chars < bytes)
+           {
+             newstr = make_uninit_multibyte_string (chars, bytes);
+             bcopy (SDATA (string), SDATA (newstr), chars);
+             str_to_multibyte (SDATA (newstr), bytes, chars);
+             string = newstr;
+           }
+       }
+      else
+       chars = SBYTES (string);
+
+      /* strout is safe for output to a frame (echo area) or to print_buffer.  */
+      strout (SDATA (string),
+             chars, SBYTES (string),
+             printcharfun, STRING_MULTIBYTE (string));
+    }
   else
     {
-      /* Otherwise, fetch the string address for each character.  */
+      /* Otherwise, string may be relocated by printing one char.
+        So re-fetch the string address for each character.  */
       int i;
-      int size = XSTRING (string)->size;
+      int size = SCHARS (string);
+      int size_byte = SBYTES (string);
       struct gcpro gcpro1;
       GCPRO1 (string);
-      for (i = 0; i < size; i++)
-       PRINTCHAR (XSTRING (string)->data[i]);
+      if (size == size_byte)
+       for (i = 0; i < size; i++)
+         PRINTCHAR (SREF (string, i));
+      else
+       for (i = 0; i < size_byte; i++)
+         {
+           /* Here, we must convert each multi-byte form to the
+              corresponding character code before handing it to PRINTCHAR.  */
+           int len;
+           int ch = STRING_CHAR_AND_LENGTH (SDATA (string) + i,
+                                            size_byte - i, len);
+           if (!CHAR_VALID_P (ch, 0))
+             {
+               ch = SREF (string, i);
+               len = 1;
+             }
+           PRINTCHAR (ch);
+           i += len;
+         }
       UNGCPRO;
     }
 }
 \f
 DEFUN ("write-char", Fwrite_char, Swrite_char, 1, 2, 0,
-  "Output character CHARACTER to stream PRINTCHARFUN.\n\
-PRINTCHARFUN defaults to the value of `standard-output' (which see).")
-  (character, printcharfun)
+       doc: /* Output character CHARACTER to stream PRINTCHARFUN.
+PRINTCHARFUN defaults to the value of `standard-output' (which see).  */)
+     (character, printcharfun)
      Lisp_Object character, printcharfun;
 {
   PRINTDECLARE;
 
   if (NILP (printcharfun))
     printcharfun = Vstandard_output;
-  CHECK_NUMBER (character, 0);
+  CHECK_NUMBER (character);
   PRINTPREPARE;
   PRINTCHAR (XINT (character));
   PRINTFINISH;
   return character;
 }
 
-/* Used from outside of print.c to print a block of SIZE chars at DATA
-   on the default output stream.
+/* Used from outside of print.c to print a block of SIZE
+   single-byte chars at DATA on the default output stream.
    Do not use this on the contents of a Lisp string.  */
 
+void
 write_string (data, size)
      char *data;
      int size;
@@ -458,14 +557,15 @@ write_string (data, size)
   printcharfun = Vstandard_output;
 
   PRINTPREPARE;
-  strout (data, size, printcharfun);
+  strout (data, size, size, printcharfun, 0);
   PRINTFINISH;
 }
 
-/* Used from outside of print.c to print a block of SIZE chars at DATA
-   on a specified stream PRINTCHARFUN.
+/* Used from outside of print.c to print a block of SIZE
+   single-byte chars at DATA on a specified stream PRINTCHARFUN.
    Do not use this on the contents of a Lisp string.  */
 
+void
 write_string_1 (data, size, printcharfun)
      char *data;
      int size;
@@ -474,39 +574,49 @@ write_string_1 (data, size, printcharfun)
   PRINTDECLARE;
 
   PRINTPREPARE;
-  strout (data, size, printcharfun);
+  strout (data, size, size, printcharfun, 0);
   PRINTFINISH;
 }
 
 
-#ifndef standalone
-
 void
 temp_output_buffer_setup (bufname)
-    char *bufname;
+    const char *bufname;
 {
+  int count = SPECPDL_INDEX ();
   register struct buffer *old = current_buffer;
   register Lisp_Object buf;
 
+  record_unwind_protect (set_buffer_if_live, Fcurrent_buffer ());
+
   Fset_buffer (Fget_buffer_create (build_string (bufname)));
 
+  Fkill_all_local_variables ();
   current_buffer->directory = old->directory;
   current_buffer->read_only = Qnil;
+  current_buffer->filename = Qnil;
+  current_buffer->undo_list = Qt;
+  current_buffer->overlays_before = Qnil;
+  current_buffer->overlays_after = Qnil;
+  current_buffer->enable_multibyte_characters
+    = buffer_defaults.enable_multibyte_characters;
   Ferase_buffer ();
-
   XSETBUFFER (buf, current_buffer);
-  specbind (Qstandard_output, buf);
 
-  set_buffer_internal (old);
+  Frun_hooks (1, &Qtemp_buffer_setup_hook);
+
+  unbind_to (count, Qnil);
+
+  specbind (Qstandard_output, buf);
 }
 
 Lisp_Object
 internal_with_output_to_temp_buffer (bufname, function, args)
-     char *bufname;
-     Lisp_Object (*function) ();
+     const char *bufname;
+     Lisp_Object (*function) P_ ((Lisp_Object));
      Lisp_Object args;
 {
-  int count = specpdl_ptr - specpdl;
+  int count = SPECPDL_INDEX ();
   Lisp_Object buf, val;
   struct gcpro gcpro1;
 
@@ -525,45 +635,60 @@ internal_with_output_to_temp_buffer (bufname, function, args)
   return unbind_to (count, val);
 }
 
-DEFUN ("with-output-to-temp-buffer", Fwith_output_to_temp_buffer, Swith_output_to_temp_buffer,
+DEFUN ("with-output-to-temp-buffer",
+       Fwith_output_to_temp_buffer, Swith_output_to_temp_buffer,
        1, UNEVALLED, 0,
-  "Bind `standard-output' to buffer BUFNAME, eval BODY, then show that buffer.\n\
-The buffer is cleared out initially, and marked as unmodified when done.\n\
-All output done by BODY is inserted in that buffer by default.\n\
-The buffer is displayed in another window, but not selected.\n\
-The value of the last form in BODY is returned.\n\
-If BODY does not finish normally, the buffer BUFNAME is not displayed.\n\n\
-If variable `temp-buffer-show-function' is non-nil, call it at the end\n\
-to get the buffer displayed.  It gets one argument, the buffer to display.")
-  (args)
+       doc: /* Bind `standard-output' to buffer BUFNAME, eval BODY, then show that buffer.
+The buffer is cleared out initially, and marked as unmodified when done.
+All output done by BODY is inserted in that buffer by default.
+The buffer is displayed in another window, but not selected.
+The value of the last form in BODY is returned.
+If BODY does not finish normally, the buffer BUFNAME is not displayed.
+
+The hook `temp-buffer-setup-hook' is run before BODY,
+with the buffer BUFNAME temporarily current.
+The hook `temp-buffer-show-hook' is run after the buffer is displayed,
+with the buffer temporarily current, and the window that was used
+to display it temporarily selected.
+
+If variable `temp-buffer-show-function' is non-nil, call it at the end
+to get the buffer displayed instead of just displaying the non-selected
+buffer and calling the hook.  It gets one argument, the buffer to display.  
+
+usage: (with-output-to-temp-buffer BUFFNAME BODY ...)  */)
+     (args)
      Lisp_Object args;
 {
   struct gcpro gcpro1;
   Lisp_Object name;
-  int count = specpdl_ptr - specpdl;
+  int count = SPECPDL_INDEX ();
   Lisp_Object buf, val;
 
   GCPRO1(args);
   name = Feval (Fcar (args));
-  UNGCPRO;
-
-  CHECK_STRING (name, 0);
-  temp_output_buffer_setup (XSTRING (name)->data);
+  CHECK_STRING (name);
+  temp_output_buffer_setup (SDATA (name));
   buf = Vstandard_output;
+  UNGCPRO;
 
-  val = Fprogn (Fcdr (args));
+  val = Fprogn (XCDR (args));
 
+  GCPRO1 (val);
   temp_output_buffer_show (buf);
+  UNGCPRO;
 
   return unbind_to (count, val);
 }
-#endif /* not standalone */
+
 \f
 static void print ();
+static void print_preprocess ();
+static void print_preprocess_string ();
+static void print_object ();
 
 DEFUN ("terpri", Fterpri, Sterpri, 0, 1, 0,
-  "Output a newline to stream PRINTCHARFUN.\n\
-If PRINTCHARFUN is omitted or nil, the value of `standard-output' is used.")
+       doc: /* Output a newline to stream PRINTCHARFUN.
+If PRINTCHARFUN is omitted or nil, the value of `standard-output' is used.  */)
   (printcharfun)
      Lisp_Object printcharfun;
 {
@@ -578,11 +703,29 @@ If PRINTCHARFUN is omitted or nil, the value of `standard-output' is used.")
 }
 
 DEFUN ("prin1", Fprin1, Sprin1, 1, 2, 0,
-  "Output the printed representation of OBJECT, any Lisp object.\n\
-Quoting characters are printed when needed to make output that `read'\n\
-can handle, whenever this is possible.\n\
-Output stream is PRINTCHARFUN, or value of `standard-output' (which see).")
-  (object, printcharfun)
+       doc: /* Output the printed representation of OBJECT, any Lisp object.
+Quoting characters are printed when needed to make output that `read'
+can handle, whenever this is possible.  For complex objects, the behavior
+is controlled by `print-level' and `print-length', which see.
+
+OBJECT is any of the Lisp data types: a number, a string, a symbol,
+a list, a buffer, a window, a frame, etc.
+
+A printed representation of an object is text which describes that object.
+
+Optional argument PRINTCHARFUN is the output stream, which can be one
+of these:
+
+   - a buffer, in which case output is inserted into that buffer at point;
+   - a marker, in which case output is inserted at marker's position;
+   - a function, in which case that function is called once for each
+     character of OBJECT's printed representation;
+   - a symbol, in which case that symbol's function definition is called; or
+   - t, in which case the output is displayed in the echo area.
+
+If PRINTCHARFUN is omitted, the value of `standard-output' (which see)
+is used instead.  */)
+     (object, printcharfun)
      Lisp_Object object, printcharfun;
 {
   PRINTDECLARE;
@@ -593,7 +736,6 @@ Output stream is PRINTCHARFUN, or value of `standard-output' (which see).")
   if (NILP (printcharfun))
     printcharfun = Vstandard_output;
   PRINTPREPARE;
-  print_depth = 0;
   print (object, printcharfun, 1);
   PRINTFINISH;
   return object;
@@ -603,11 +745,16 @@ Output stream is PRINTCHARFUN, or value of `standard-output' (which see).")
 Lisp_Object Vprin1_to_string_buffer;
 
 DEFUN ("prin1-to-string", Fprin1_to_string, Sprin1_to_string, 1, 2, 0,
-  "Return a string containing the printed representation of OBJECT,\n\
-any Lisp object.  Quoting characters are used when needed to make output\n\
-that `read' can handle, whenever this is possible, unless the optional\n\
-second argument NOESCAPE is non-nil.")
-  (object, noescape)
+       doc: /* Return a string containing the printed representation of OBJECT.
+OBJECT can be any Lisp object.  This function outputs quoting characters
+when necessary to make output that `read' can handle, whenever possible,
+unless the optional second argument NOESCAPE is non-nil.
+
+OBJECT is any of the Lisp data types: a number, a string, a symbol,
+a list, a buffer, a window, a frame, etc.
+
+A printed representation of an object is text which describes that object.  */)
+     (object, noescape)
      Lisp_Object object, noescape;
 {
   PRINTDECLARE;
@@ -623,7 +770,6 @@ second argument NOESCAPE is non-nil.")
 
   printcharfun = Vprin1_to_string_buffer;
   PRINTPREPARE;
-  print_depth = 0;
   print (object, printcharfun, NILP (noescape));
   /* Make Vprin1_to_string_buffer be the default buffer after PRINTFINSH */
   PRINTFINISH;
@@ -640,11 +786,28 @@ second argument NOESCAPE is non-nil.")
 }
 
 DEFUN ("princ", Fprinc, Sprinc, 1, 2, 0,
-  "Output the printed representation of OBJECT, any Lisp object.\n\
-No quoting characters are used; no delimiters are printed around\n\
-the contents of strings.\n\
-Output stream is PRINTCHARFUN, or value of standard-output (which see).")
-  (object, printcharfun)
+       doc: /* Output the printed representation of OBJECT, any Lisp object.
+No quoting characters are used; no delimiters are printed around
+the contents of strings.
+
+OBJECT is any of the Lisp data types: a number, a string, a symbol,
+a list, a buffer, a window, a frame, etc.
+
+A printed representation of an object is text which describes that object.
+
+Optional argument PRINTCHARFUN is the output stream, which can be one
+of these:
+
+   - a buffer, in which case output is inserted into that buffer at point;
+   - a marker, in which case output is inserted at marker's position;
+   - a function, in which case that function is called once for each
+     character of OBJECT's printed representation;
+   - a symbol, in which case that symbol's function definition is called; or
+   - t, in which case the output is displayed in the echo area.
+
+If PRINTCHARFUN is omitted, the value of `standard-output' (which see)
+is used instead.  */)
+     (object, printcharfun)
      Lisp_Object object, printcharfun;
 {
   PRINTDECLARE;
@@ -652,18 +815,35 @@ Output stream is PRINTCHARFUN, or value of standard-output (which see).")
   if (NILP (printcharfun))
     printcharfun = Vstandard_output;
   PRINTPREPARE;
-  print_depth = 0;
   print (object, printcharfun, 0);
   PRINTFINISH;
   return object;
 }
 
 DEFUN ("print", Fprint, Sprint, 1, 2, 0,
-  "Output the printed representation of OBJECT, with newlines around it.\n\
-Quoting characters are printed when needed to make output that `read'\n\
-can handle, whenever this is possible.\n\
-Output stream is PRINTCHARFUN, or value of `standard-output' (which see).")
-  (object, printcharfun)
+       doc: /* Output the printed representation of OBJECT, with newlines around it.
+Quoting characters are printed when needed to make output that `read'
+can handle, whenever this is possible.  For complex objects, the behavior
+is controlled by `print-level' and `print-length', which see.
+
+OBJECT is any of the Lisp data types: a number, a string, a symbol,
+a list, a buffer, a window, a frame, etc.
+
+A printed representation of an object is text which describes that object.
+
+Optional argument PRINTCHARFUN is the output stream, which can be one
+of these:
+
+   - a buffer, in which case output is inserted into that buffer at point;
+   - a marker, in which case output is inserted at marker's position;
+   - a function, in which case that function is called once for each
+     character of OBJECT's printed representation;
+   - a symbol, in which case that symbol's function definition is called; or
+   - t, in which case the output is displayed in the echo area.
+
+If PRINTCHARFUN is omitted, the value of `standard-output' (which see)
+is used instead.  */)
+     (object, printcharfun)
      Lisp_Object object, printcharfun;
 {
   PRINTDECLARE;
@@ -677,7 +857,6 @@ Output stream is PRINTCHARFUN, or value of `standard-output' (which see).")
     printcharfun = Vstandard_output;
   GCPRO1 (object);
   PRINTPREPARE;
-  print_depth = 0;
   PRINTCHAR ('\n');
   print (object, printcharfun, 1);
   PRINTCHAR ('\n');
@@ -695,15 +874,23 @@ Output stream is PRINTCHARFUN, or value of `standard-output' (which see).")
 Lisp_Object Qexternal_debugging_output;
 
 DEFUN ("external-debugging-output", Fexternal_debugging_output, Sexternal_debugging_output, 1, 1, 0,
-  "Write CHARACTER to stderr.\n\
-You can call print while debugging emacs, and pass it this function\n\
-to make it write to the debugging output.\n")
-  (character)
+       doc: /* Write CHARACTER to stderr.
+You can call print while debugging emacs, and pass it this function
+to make it write to the debugging output.  */)
+     (character)
      Lisp_Object character;
 {
-  CHECK_NUMBER (character, 0);
+  CHECK_NUMBER (character);
   putc (XINT (character), stderr);
-  
+
+#ifdef WINDOWSNT
+  /* Send the output to a debugger (nothing happens if there isn't one).  */
+  {
+    char buf[2] = {(char) XINT (character), '\0'};
+    OutputDebugString (buf);
+  }
+#endif
+
   return character;
 }
 
@@ -719,24 +906,24 @@ debug_print (arg)
 \f
 DEFUN ("error-message-string", Ferror_message_string, Serror_message_string,
        1, 1, 0,
-  "Convert an error value (ERROR-SYMBOL . DATA) to an error message.")
-  (obj)
+       doc: /* Convert an error value (ERROR-SYMBOL . DATA) to an error message.  */)
+     (obj)
      Lisp_Object obj;
 {
   struct buffer *old = current_buffer;
-  Lisp_Object original, printcharfun, value;
+  Lisp_Object value;
   struct gcpro gcpro1;
 
   /* If OBJ is (error STRING), just return STRING.
      That is not only faster, it also avoids the need to allocate
      space here when the error is due to memory full.  */
-  if (CONSP (obj) && EQ (XCONS (obj)->car, Qerror)
-      && CONSP (XCONS (obj)->cdr)
-      && STRINGP (XCONS (XCONS (obj)->cdr)->car)
-      && NILP (XCONS (XCONS (obj)->cdr)->cdr))
-    return XCONS (XCONS (obj)->cdr)->car;
+  if (CONSP (obj) && EQ (XCAR (obj), Qerror)
+      && CONSP (XCDR (obj))
+      && STRINGP (XCAR (XCDR (obj)))
+      && NILP (XCDR (XCDR (obj))))
+    return XCAR (XCDR (obj));
 
-  print_error_message (obj, Vprin1_to_string_buffer, NULL);
+  print_error_message (obj, Vprin1_to_string_buffer, 0, Qnil);
 
   set_buffer_internal (XBUFFER (Vprin1_to_string_buffer));
   value = Fbuffer_string ();
@@ -749,30 +936,47 @@ DEFUN ("error-message-string", Ferror_message_string, Serror_message_string,
   return value;
 }
 
-/* Print an error message for the error DATA
-   onto Lisp output stream STREAM (suitable for the print functions).  */
+/* Print an error message for the error DATA onto Lisp output stream
+   STREAM (suitable for the print functions).  */
 
-print_error_message (data, stream)
+void
+print_error_message (data, stream, context, caller)
      Lisp_Object data, stream;
+     char *context;
+     Lisp_Object caller;
 {
   Lisp_Object errname, errmsg, file_error, tail;
   struct gcpro gcpro1;
   int i;
 
+  if (context != 0)
+    write_string_1 (context, -1, stream);
+
+  /* If we know from where the error was signaled, show it in
+   *Messages*.  */
+  if (!NILP (caller) && SYMBOLP (caller))
+    {
+      const char *name = SDATA (SYMBOL_NAME (caller));
+      message_dolog (name, strlen (name), 0, 0);
+      message_dolog (": ", 2, 0, 0);
+    }
+
   errname = Fcar (data);
 
   if (EQ (errname, Qerror))
     {
       data = Fcdr (data);
-      if (!CONSP (data)) data = Qnil;
+      if (!CONSP (data))
+       data = Qnil;
       errmsg = Fcar (data);
       file_error = Qnil;
     }
   else
     {
+      Lisp_Object error_conditions;
       errmsg = Fget (errname, Qerror_message);
-      file_error = Fmemq (Qfile_error,
-                         Fget (errname, Qerror_conditions));
+      error_conditions = Fget (errname, Qerror_conditions);
+      file_error = Fmemq (Qfile_error, error_conditions);
     }
 
   /* Print an error message including the data items.  */
@@ -782,27 +986,31 @@ print_error_message (data, stream)
 
   /* For file-error, make error message by concatenating
      all the data items.  They are all strings.  */
-  if (!NILP (file_error) && !NILP (tail))
-    errmsg = XCONS (tail)->car, tail = XCONS (tail)->cdr;
+  if (!NILP (file_error) && CONSP (tail))
+    errmsg = XCAR (tail), tail = XCDR (tail);
 
   if (STRINGP (errmsg))
     Fprinc (errmsg, stream);
   else
     write_string_1 ("peculiar error", -1, stream);
 
-  for (i = 0; CONSP (tail); tail = Fcdr (tail), i++)
+  for (i = 0; CONSP (tail); tail = XCDR (tail), i++)
     {
+      Lisp_Object obj;
+
       write_string_1 (i ? ", " : ": ", 2, stream);
-      if (!NILP (file_error))
-       Fprinc (Fcar (tail), stream);
+      obj = XCAR (tail);
+      if (!NILP (file_error) || EQ (errname, Qend_of_file))
+       Fprinc (obj, stream);
       else
-       Fprin1 (Fcar (tail), stream);
+       Fprin1 (obj, stream);
     }
+  
   UNGCPRO;
 }
-\f
-#ifdef LISP_FLOAT_TYPE
 
+
+\f
 /*
  * The buffer should be at least as large as the max string size of the
  * largest float, printed in the biggest notation.  This is undoubtedly
@@ -825,19 +1033,65 @@ float_to_string (buf, data)
   unsigned char *cp;
   int width;
       
+  /* Check for plus infinity in a way that won't lose
+     if there is no plus infinity.  */
+  if (data == data / 2 && data > 1.0)
+    {
+      strcpy (buf, "1.0e+INF");
+      return;
+    }
+  /* Likewise for minus infinity.  */
+  if (data == data / 2 && data < -1.0)
+    {
+      strcpy (buf, "-1.0e+INF");
+      return;
+    }
+  /* Check for NaN in a way that won't fail if there are no NaNs.  */
+  if (! (data * 0.0 >= 0.0))
+    {
+      /* Prepend "-" if the NaN's sign bit is negative.
+        The sign bit of a double is the bit that is 1 in -0.0.  */
+      int i;
+      union { double d; char c[sizeof (double)]; } u_data, u_minus_zero;
+      u_data.d = data;
+      u_minus_zero.d = - 0.0;
+      for (i = 0; i < sizeof (double); i++)
+       if (u_data.c[i] & u_minus_zero.c[i])
+         {
+           *buf++ = '-';
+           break;
+         }
+      
+      strcpy (buf, "0.0e+NaN");
+      return;
+    }
+
   if (NILP (Vfloat_output_format)
       || !STRINGP (Vfloat_output_format))
   lose:
     {
-      sprintf (buf, "%.17g", data);
-      width = -1;
+      /* Generate the fewest number of digits that represent the
+        floating point value without losing information.
+        The following method is simple but a bit slow.
+        For ideas about speeding things up, please see:
+
+        Guy L Steele Jr & Jon L White, How to print floating-point numbers
+        accurately.  SIGPLAN notices 25, 6 (June 1990), 112-126.
+
+        Robert G Burger & R Kent Dybvig, Printing floating point numbers
+        quickly and accurately, SIGPLAN notices 31, 5 (May 1996), 108-116.  */
+
+      width = fabs (data) < DBL_MIN ? 1 : DBL_DIG;
+      do
+       sprintf (buf, "%.*g", width, data);
+      while (width++ < DOUBLE_DIGITS_BOUND && atof (buf) != data);
     }
   else                 /* oink oink */
     {
       /* Check that the spec we have is fully valid.
         This means not only valid for printf,
         but meant for floats, and reasonable.  */
-      cp = XSTRING (Vfloat_output_format)->data;
+      cp = SDATA (Vfloat_output_format);
 
       if (cp[0] != '%')
        goto lose;
@@ -867,7 +1121,7 @@ float_to_string (buf, data)
       if (cp[1] != 0)
        goto lose;
 
-      sprintf (buf, XSTRING (Vfloat_output_format)->data, data);
+      sprintf (buf, SDATA (Vfloat_output_format), data);
     }
 
   /* Make sure there is a decimal point with digit after, or an
@@ -894,7 +1148,7 @@ float_to_string (buf, data)
        }
     }
 }
-#endif /* LISP_FLOAT_TYPE */
+
 \f
 static void
 print (obj, printcharfun, escapeflag)
@@ -902,27 +1156,207 @@ print (obj, printcharfun, escapeflag)
      register Lisp_Object printcharfun;
      int escapeflag;
 {
-  char buf[30];
+  print_depth = 0;
+  old_backquote_output = 0;
 
-  QUIT;
+  /* Reset print_number_index and Vprint_number_table only when
+     the variable Vprint_continuous_numbering is nil.  Otherwise,
+     the values of these variables will be kept between several
+     print functions.  */
+  if (NILP (Vprint_continuous_numbering))
+    {
+      print_number_index = 0;
+      Vprint_number_table = Qnil;
+    }
 
-#if 1  /* I'm not sure this is really worth doing.  */
-  /* Detect circularities and truncate them.
-     No need to offer any alternative--this is better than an error.  */
-  if (CONSP (obj) || VECTORP (obj) || COMPILEDP (obj))
+  /* Construct Vprint_number_table for print-gensym and print-circle.  */
+  if (!NILP (Vprint_gensym) || !NILP (Vprint_circle))
     {
-      int i;
-      for (i = 0; i < print_depth; i++)
-       if (EQ (obj, being_printed[i]))
+      int i, start, index;
+      start = index = print_number_index;
+      /* Construct Vprint_number_table.
+        This increments print_number_index for the objects added.  */
+      print_preprocess (obj);
+
+      /* Remove unnecessary objects, which appear only once in OBJ;
+        that is, whose status is Qnil.  Compactify the necessary objects.  */
+      for (i = start; i < print_number_index; i++)
+       if (!NILP (PRINT_NUMBER_STATUS (Vprint_number_table, i)))
          {
-           sprintf (buf, "#%d", i);
-           strout (buf, -1, printcharfun);
-           return;
+           PRINT_NUMBER_OBJECT (Vprint_number_table, index)
+             = PRINT_NUMBER_OBJECT (Vprint_number_table, i);
+           index++;
          }
+
+      /* Clear out objects outside the active part of the table.  */
+      for (i = index; i < print_number_index; i++)
+       PRINT_NUMBER_OBJECT (Vprint_number_table, i) = Qnil;
+
+      /* Reset the status field for the next print step.  Now this
+        field means whether the object has already been printed.  */
+      for (i = start; i < print_number_index; i++)
+       PRINT_NUMBER_STATUS (Vprint_number_table, i) = Qnil;
+
+      print_number_index = index;
+    }
+
+  print_object (obj, printcharfun, escapeflag);
+}
+
+/* Construct Vprint_number_table according to the structure of OBJ.
+   OBJ itself and all its elements will be added to Vprint_number_table
+   recursively if it is a list, vector, compiled function, char-table,
+   string (its text properties will be traced), or a symbol that has
+   no obarray (this is for the print-gensym feature).
+   The status fields of Vprint_number_table mean whether each object appears
+   more than once in OBJ: Qnil at the first time, and Qt after that .  */
+static void
+print_preprocess (obj)
+     Lisp_Object obj;
+{
+  int i, size;
+
+ loop:
+  if (STRINGP (obj) || CONSP (obj) || VECTORP (obj)
+      || COMPILEDP (obj) || CHAR_TABLE_P (obj)
+      || (! NILP (Vprint_gensym)
+         && SYMBOLP (obj)
+         && !SYMBOL_INTERNED_P (obj)))
+    {
+      /* In case print-circle is nil and print-gensym is t,
+        add OBJ to Vprint_number_table only when OBJ is a symbol.  */
+      if (! NILP (Vprint_circle) || SYMBOLP (obj))
+       {
+         for (i = 0; i < print_number_index; i++)
+           if (EQ (PRINT_NUMBER_OBJECT (Vprint_number_table, i), obj))
+             {
+               /* OBJ appears more than once.  Let's remember that.  */
+               PRINT_NUMBER_STATUS (Vprint_number_table, i) = Qt;
+               return;
+             }
+
+         /* OBJ is not yet recorded.  Let's add to the table.  */
+         if (print_number_index == 0)
+           {
+             /* Initialize the table.  */
+             Vprint_number_table = Fmake_vector (make_number (40), Qnil);
+           }
+         else if (XVECTOR (Vprint_number_table)->size == print_number_index * 2)
+           {
+             /* Reallocate the table.  */
+             int i = print_number_index * 4;
+             Lisp_Object old_table = Vprint_number_table;
+             Vprint_number_table = Fmake_vector (make_number (i), Qnil);
+             for (i = 0; i < print_number_index; i++)
+               {
+                 PRINT_NUMBER_OBJECT (Vprint_number_table, i)
+                   = PRINT_NUMBER_OBJECT (old_table, i);
+                 PRINT_NUMBER_STATUS (Vprint_number_table, i)
+                   = PRINT_NUMBER_STATUS (old_table, i);
+               }
+           }
+         PRINT_NUMBER_OBJECT (Vprint_number_table, print_number_index) = obj;
+         /* If Vprint_continuous_numbering is non-nil and OBJ is a gensym,
+            always print the gensym with a number.  This is a special for
+            the lisp function byte-compile-output-docform.  */
+         if (!NILP (Vprint_continuous_numbering)
+             && SYMBOLP (obj)
+             && !SYMBOL_INTERNED_P (obj))
+           PRINT_NUMBER_STATUS (Vprint_number_table, print_number_index) = Qt;
+         print_number_index++;
+       }
+
+      switch (XGCTYPE (obj))
+       {
+       case Lisp_String:
+         /* A string may have text properties, which can be circular.  */
+         traverse_intervals_noorder (STRING_INTERVALS (obj),
+                                     print_preprocess_string, Qnil);
+         break;
+
+       case Lisp_Cons:
+         print_preprocess (XCAR (obj));
+         obj = XCDR (obj);
+         goto loop;
+
+       case Lisp_Vectorlike:
+         size = XVECTOR (obj)->size & PSEUDOVECTOR_SIZE_MASK;
+         for (i = 0; i < size; i++)
+           print_preprocess (XVECTOR (obj)->contents[i]);
+         break;
+
+       default:
+         break;
+       }
+    }
+}
+
+static void
+print_preprocess_string (interval, arg)
+     INTERVAL interval;
+     Lisp_Object arg;
+{
+  print_preprocess (interval->plist);
+}
+
+static void
+print_object (obj, printcharfun, escapeflag)
+     Lisp_Object obj;
+     register Lisp_Object printcharfun;
+     int escapeflag;
+{
+  char buf[30];
+
+  QUIT;
+
+  /* Detect circularities and truncate them.  */
+  if (STRINGP (obj) || CONSP (obj) || VECTORP (obj)
+      || COMPILEDP (obj) || CHAR_TABLE_P (obj)
+      || (! NILP (Vprint_gensym)
+         && SYMBOLP (obj)
+         && !SYMBOL_INTERNED_P (obj)))
+    {
+      if (NILP (Vprint_circle) && NILP (Vprint_gensym))
+       {
+         /* Simple but incomplete way.  */
+         int i;
+         for (i = 0; i < print_depth; i++)
+           if (EQ (obj, being_printed[i]))
+             {
+               sprintf (buf, "#%d", i);
+               strout (buf, -1, -1, printcharfun, 0);
+               return;
+             }
+         being_printed[print_depth] = obj;
+       }
+      else
+       {
+         /* With the print-circle feature.  */
+         int i;
+         for (i = 0; i < print_number_index; i++)
+           if (EQ (PRINT_NUMBER_OBJECT (Vprint_number_table, i), obj))
+             {
+               if (NILP (PRINT_NUMBER_STATUS (Vprint_number_table, i)))
+                 {
+                   /* Add a prefix #n= if OBJ has not yet been printed;
+                      that is, its status field is nil.  */
+                   sprintf (buf, "#%d=", i + 1);
+                   strout (buf, -1, -1, printcharfun, 0);
+                   /* OBJ is going to be printed.  Set the status to t.  */
+                   PRINT_NUMBER_STATUS (Vprint_number_table, i) = Qt;
+                   break;
+                 }
+               else
+                 {
+                   /* Just print #n# if OBJ has already been printed.  */
+                   sprintf (buf, "#%d#", i + 1);
+                   strout (buf, -1, -1, printcharfun, 0);
+                   return;
+                 }
+             }
+       }
     }
-#endif
 
-  being_printed[print_depth] = obj;
   print_depth++;
 
   if (print_depth > PRINT_CIRCLE)
@@ -941,47 +1375,68 @@ print (obj, printcharfun, escapeflag)
       if (sizeof (int) == sizeof (EMACS_INT))
        sprintf (buf, "%d", XINT (obj));
       else if (sizeof (long) == sizeof (EMACS_INT))
-       sprintf (buf, "%ld", XINT (obj));
+       sprintf (buf, "%ld", (long) XINT (obj));
       else
        abort ();
-      strout (buf, -1, printcharfun);
+      strout (buf, -1, -1, printcharfun, 0);
       break;
 
-#ifdef LISP_FLOAT_TYPE
     case Lisp_Float:
       {
        char pigbuf[350];       /* see comments in float_to_string */
 
-       float_to_string (pigbuf, XFLOAT(obj)->data);
-       strout (pigbuf, -1, printcharfun);
+       float_to_string (pigbuf, XFLOAT_DATA (obj));
+       strout (pigbuf, -1, -1, printcharfun, 0);
       }
       break;
-#endif
 
     case Lisp_String:
       if (!escapeflag)
        print_string (obj, printcharfun);
       else
        {
-         register int i;
-         register unsigned char c;
+         register int i, i_byte;
          struct gcpro gcpro1;
+         unsigned char *str;
+         int size_byte;
+         /* 1 means we must ensure that the next character we output
+            cannot be taken as part of a hex character escape.  */
+         int need_nonhex = 0;
+         int multibyte = STRING_MULTIBYTE (obj);
 
          GCPRO1 (obj);
 
-#ifdef USE_TEXT_PROPERTIES
-         if (!NULL_INTERVAL_P (XSTRING (obj)->intervals))
+         if (!NULL_INTERVAL_P (STRING_INTERVALS (obj)))
            {
              PRINTCHAR ('#');
              PRINTCHAR ('(');
            }
-#endif
 
          PRINTCHAR ('\"');
-         for (i = 0; i < XSTRING (obj)->size; i++)
+         str = SDATA (obj);
+         size_byte = SBYTES (obj);
+
+         for (i = 0, i_byte = 0; i_byte < size_byte;)
            {
+             /* Here, we must convert each multi-byte form to the
+                corresponding character code before handing it to PRINTCHAR.  */
+             int len;
+             int c;
+
+             if (multibyte)
+               {
+                 c = STRING_CHAR_AND_LENGTH (str + i_byte,
+                                             size_byte - i_byte, len);
+                 if (CHAR_VALID_P (c, 0))
+                   i_byte += len;
+                 else
+                   c = str[i_byte++];
+               }
+             else
+               c = str[i_byte++];
+
              QUIT;
-             c = XSTRING (obj)->data[i];
+
              if (c == '\n' && print_escape_newlines)
                {
                  PRINTCHAR ('\\');
@@ -992,8 +1447,46 @@ print (obj, printcharfun, escapeflag)
                  PRINTCHAR ('\\');
                  PRINTCHAR ('f');
                }
+             else if (multibyte
+                      && ! ASCII_BYTE_P (c)
+                      && (SINGLE_BYTE_CHAR_P (c) || print_escape_multibyte))
+               {
+                 /* When multibyte is disabled,
+                    print multibyte string chars using hex escapes.
+                    For a char code that could be in a unibyte string,
+                    when found in a multibyte string, always use a hex escape
+                    so it reads back as multibyte.  */
+                 unsigned char outbuf[50];
+                 sprintf (outbuf, "\\x%x", c);
+                 strout (outbuf, -1, -1, printcharfun, 0);
+                 need_nonhex = 1;
+               }
+             else if (! multibyte
+                      && SINGLE_BYTE_CHAR_P (c) && ! ASCII_BYTE_P (c)
+                      && print_escape_nonascii)
+               {
+                 /* When printing in a multibyte buffer
+                    or when explicitly requested,
+                    print single-byte non-ASCII string chars
+                    using octal escapes.  */
+                 unsigned char outbuf[5];
+                 sprintf (outbuf, "\\%03o", c);
+                 strout (outbuf, -1, -1, printcharfun, 0);
+               }
              else
                {
+                 /* If we just had a hex escape, and this character
+                    could be taken as part of it,
+                    output `\ ' to prevent that.  */
+                 if (need_nonhex)
+                   {
+                     need_nonhex = 0;
+                     if ((c >= 'a' && c <= 'f')
+                         || (c >= 'A' && c <= 'F')
+                         || (c >= '0' && c <= '9'))
+                       strout ("\\ ", -1, -1, printcharfun, 0);
+                   }
+
                  if (c == '\"' || c == '\\')
                    PRINTCHAR ('\\');
                  PRINTCHAR (c);
@@ -1001,14 +1494,12 @@ print (obj, printcharfun, escapeflag)
            }
          PRINTCHAR ('\"');
 
-#ifdef USE_TEXT_PROPERTIES
-         if (!NULL_INTERVAL_P (XSTRING (obj)->intervals))
+         if (!NULL_INTERVAL_P (STRING_INTERVALS (obj)))
            {
-             traverse_intervals (XSTRING (obj)->intervals,
-                                 0, 0, print_interval, printcharfun);
+             traverse_intervals (STRING_INTERVALS (obj),
+                                 0, print_interval, printcharfun);
              PRINTCHAR (')');
            }
-#endif
 
          UNGCPRO;
        }
@@ -1017,10 +1508,13 @@ print (obj, printcharfun, escapeflag)
     case Lisp_Symbol:
       {
        register int confusing;
-       register unsigned char *p = XSYMBOL (obj)->name->data;
-       register unsigned char *end = p + XSYMBOL (obj)->name->size;
-       register unsigned char c;
-       int i;
+       register unsigned char *p = SDATA (SYMBOL_NAME (obj));
+       register unsigned char *end = p + SBYTES (SYMBOL_NAME (obj));
+       register int c;
+       int i, i_byte, size_byte;
+       Lisp_Object name;
+
+       name = SYMBOL_NAME (obj);
 
        if (p != end && (*p == '-' || *p == '+')) p++;
        if (p == end)
@@ -1044,43 +1538,20 @@ print (obj, printcharfun, escapeflag)
        else
          confusing = 0;
 
-       /* If we print an uninterned symbol as part of a complex object and
-          the flag print-gensym is non-nil, prefix it with #n= to read the
-          object back with the #n# reader syntax later if needed.  */
-       if (print_gensym && NILP (XSYMBOL (obj)->obarray))
+       if (! NILP (Vprint_gensym) && !SYMBOL_INTERNED_P (obj))
          {
-           if (print_depth > 1)
-             {
-               Lisp_Object tem;
-               tem = Fassq (obj, printed_gensyms);
-               if (CONSP (tem))
-                 {
-                   PRINTCHAR ('#');
-                   print (XCDR (tem), printcharfun, escapeflag);
-                   PRINTCHAR ('#');
-                   break;
-                 }
-               else
-                 {
-                   if (CONSP (printed_gensyms))
-                     XSETFASTINT (tem, XFASTINT (XCDR (XCAR (printed_gensyms))) + 1);
-                   else
-                     XSETFASTINT (tem, 1);
-                   printed_gensyms = Fcons (Fcons (obj, tem), printed_gensyms);
-
-                   PRINTCHAR ('#');
-                   print (tem, printcharfun, escapeflag);
-                   PRINTCHAR ('=');
-                 }
-             }
            PRINTCHAR ('#');
            PRINTCHAR (':');
          }
 
-       for (i = 0; i < XSYMBOL (obj)->name->size; i++)
+       size_byte = SBYTES (name);
+
+       for (i = 0, i_byte = 0; i_byte < size_byte;)
          {
+           /* Here, we must convert each multi-byte form to the
+              corresponding character code before handing it to PRINTCHAR.  */
+           FETCH_STRING_CHAR_ADVANCE (c, name, i, i_byte);
            QUIT;
-           c = XSYMBOL (obj)->name->data[i];
 
            if (escapeflag)
              {
@@ -1100,59 +1571,131 @@ print (obj, printcharfun, escapeflag)
       /* If deeper than spec'd depth, print placeholder.  */
       if (INTEGERP (Vprint_level)
          && print_depth > XINT (Vprint_level))
-       strout ("...", -1, printcharfun);
+       strout ("...", -1, -1, printcharfun, 0);
       else if (print_quoted && CONSP (XCDR (obj)) && NILP (XCDR (XCDR (obj)))
               && (EQ (XCAR (obj), Qquote)))
        {
          PRINTCHAR ('\'');
-         print (XCAR (XCDR (obj)), printcharfun, escapeflag);
+         print_object (XCAR (XCDR (obj)), printcharfun, escapeflag);
        }
       else if (print_quoted && CONSP (XCDR (obj)) && NILP (XCDR (XCDR (obj)))
               && (EQ (XCAR (obj), Qfunction)))
        {
          PRINTCHAR ('#');
          PRINTCHAR ('\'');
-         print (XCAR (XCDR (obj)), printcharfun, escapeflag);
+         print_object (XCAR (XCDR (obj)), printcharfun, escapeflag);
        }
       else if (print_quoted && CONSP (XCDR (obj)) && NILP (XCDR (XCDR (obj)))
+              && ! old_backquote_output
               && ((EQ (XCAR (obj), Qbackquote)
                    || EQ (XCAR (obj), Qcomma)
                    || EQ (XCAR (obj), Qcomma_at)
                    || EQ (XCAR (obj), Qcomma_dot))))
        {
-         print (XCAR (obj), printcharfun, 0);
-         print (XCAR (XCDR (obj)), printcharfun, escapeflag);
+         print_object (XCAR (obj), printcharfun, 0);
+         print_object (XCAR (XCDR (obj)), printcharfun, escapeflag);
        }
       else
        {
          PRINTCHAR ('(');
+         
+         /* If the first element is a backquote form,
+            print it old-style so it won't be misunderstood.  */
+         if (print_quoted && CONSP (XCAR (obj))
+             && CONSP (XCDR (XCAR (obj)))
+             && NILP (XCDR (XCDR (XCAR (obj))))
+             && EQ (XCAR (XCAR (obj)), Qbackquote))
+           {
+             Lisp_Object tem;
+             tem = XCAR (obj);
+             PRINTCHAR ('(');
+
+             print_object (Qbackquote, printcharfun, 0);
+             PRINTCHAR (' ');
+
+             ++old_backquote_output;
+             print_object (XCAR (XCDR (tem)), printcharfun, 0);
+             --old_backquote_output;
+             PRINTCHAR (')');
+
+             obj = XCDR (obj);
+           }
+
          {
-           register int i = 0;
-           register int max = 0;
-
-           if (INTEGERP (Vprint_length))
-             max = XINT (Vprint_length);
-           /* Could recognize circularities in cdrs here,
-              but that would make printing of long lists quadratic.
-              It's not worth doing.  */
+           int print_length, i;
+           Lisp_Object halftail = obj;
+
+           /* Negative values of print-length are invalid in CL.
+              Treat them like nil, as CMUCL does.  */
+           if (NATNUMP (Vprint_length))
+             print_length = XFASTINT (Vprint_length);
+           else
+             print_length = 0;
+
+           i = 0;
            while (CONSP (obj))
              {
+               /* Detect circular list.  */
+               if (NILP (Vprint_circle))
+                 {
+                   /* Simple but imcomplete way.  */
+                   if (i != 0 && EQ (obj, halftail))
+                     {
+                       sprintf (buf, " . #%d", i / 2);
+                       strout (buf, -1, -1, printcharfun, 0);
+                       goto end_of_list;
+                     }
+                 }
+               else
+                 {
+                   /* With the print-circle feature.  */
+                   if (i != 0)
+                     {
+                       int i;
+                       for (i = 0; i < print_number_index; i++)
+                         if (EQ (PRINT_NUMBER_OBJECT (Vprint_number_table, i),
+                                 obj))
+                           {
+                             if (NILP (PRINT_NUMBER_STATUS (Vprint_number_table, i)))
+                               {
+                                 strout (" . ", 3, 3, printcharfun, 0);
+                                 print_object (obj, printcharfun, escapeflag);
+                               }
+                             else
+                               {
+                                 sprintf (buf, " . #%d#", i + 1);
+                                 strout (buf, -1, -1, printcharfun, 0);
+                               }
+                             goto end_of_list;
+                           }
+                     }
+                 }
+               
                if (i++)
                  PRINTCHAR (' ');
-               if (max && i > max)
+               
+               if (print_length && i > print_length)
                  {
-                   strout ("...", 3, printcharfun);
-                   break;
+                   strout ("...", 3, 3, printcharfun, 0);
+                   goto end_of_list;
                  }
-               print (XCAR (obj), printcharfun, escapeflag);
+               
+               print_object (XCAR (obj), printcharfun, escapeflag);
+               
                obj = XCDR (obj);
+               if (!(i & 1))
+                 halftail = XCDR (halftail);
              }
          }
+
+         /* OBJ non-nil here means it's the end of a dotted list.  */
          if (!NILP (obj))
            {
-             strout (" . ", 3, printcharfun);
-             print (obj, printcharfun, escapeflag);
+             strout (" . ", 3, 3, printcharfun, 0);
+             print_object (obj, printcharfun, escapeflag);
            }
+         
+       end_of_list:
          PRINTCHAR (')');
        }
       break;
@@ -1162,7 +1705,7 @@ print (obj, printcharfun, escapeflag)
        {
          if (escapeflag)
            {
-             strout ("#<process ", -1, printcharfun);
+             strout ("#<process ", -1, -1, printcharfun, 0);
              print_string (XPROCESS (obj)->name, printcharfun);
              PRINTCHAR ('>');
            }
@@ -1182,13 +1725,15 @@ print (obj, printcharfun, escapeflag)
          PRINTCHAR ('#');
          PRINTCHAR ('&');
          sprintf (buf, "%d", XBOOL_VECTOR (obj)->size);
-         strout (buf, -1, printcharfun);
+         strout (buf, -1, -1, printcharfun, 0);
          PRINTCHAR ('\"');
 
-         /* Don't print more characters than the specified maximum.  */
-         if (INTEGERP (Vprint_length)
-             && XINT (Vprint_length) < size_in_chars)
-           size_in_chars = XINT (Vprint_length);
+         /* Don't print more characters than the specified maximum.
+            Negative values of print-length are invalid.  Treat them
+            like a print-length of nil.  */
+         if (NATNUMP (Vprint_length)
+             && XFASTINT (Vprint_length) < size_in_chars)
+           size_in_chars = XFASTINT (Vprint_length);
 
          for (i = 0; i < size_in_chars; i++)
            {
@@ -1217,30 +1762,49 @@ print (obj, printcharfun, escapeflag)
        }
       else if (SUBRP (obj))
        {
-         strout ("#<subr ", -1, printcharfun);
-         strout (XSUBR (obj)->symbol_name, -1, printcharfun);
+         strout ("#<subr ", -1, -1, printcharfun, 0);
+         strout (XSUBR (obj)->symbol_name, -1, -1, printcharfun, 0);
          PRINTCHAR ('>');
        }
-#ifndef standalone
       else if (WINDOWP (obj))
        {
-         strout ("#<window ", -1, printcharfun);
+         strout ("#<window ", -1, -1, printcharfun, 0);
          sprintf (buf, "%d", XFASTINT (XWINDOW (obj)->sequence_number));
-         strout (buf, -1, printcharfun);
+         strout (buf, -1, -1, printcharfun, 0);
          if (!NILP (XWINDOW (obj)->buffer))
            {
-             strout (" on ", -1, printcharfun);
+             strout (" on ", -1, -1, printcharfun, 0);
              print_string (XBUFFER (XWINDOW (obj)->buffer)->name, printcharfun);
            }
          PRINTCHAR ('>');
        }
+      else if (HASH_TABLE_P (obj))
+       {
+         struct Lisp_Hash_Table *h = XHASH_TABLE (obj);
+         strout ("#<hash-table", -1, -1, printcharfun, 0);
+         if (SYMBOLP (h->test))
+           {
+             PRINTCHAR (' ');
+             PRINTCHAR ('\'');
+             strout (SDATA (SYMBOL_NAME (h->test)), -1, -1, printcharfun, 0);
+             PRINTCHAR (' ');
+             strout (SDATA (SYMBOL_NAME (h->weak)), -1, -1, printcharfun, 0);
+             PRINTCHAR (' ');
+             sprintf (buf, "%d/%d", XFASTINT (h->count),
+                      XVECTOR (h->next)->size);
+             strout (buf, -1, -1, printcharfun, 0);
+           }
+         sprintf (buf, " 0x%lx", (unsigned long) h);
+         strout (buf, -1, -1, printcharfun, 0);
+         PRINTCHAR ('>');
+       }
       else if (BUFFERP (obj))
        {
          if (NILP (XBUFFER (obj)->name))
-           strout ("#<killed buffer>", -1, printcharfun);
+           strout ("#<killed buffer>", -1, -1, printcharfun, 0);
          else if (escapeflag)
            {
-             strout ("#<buffer ", -1, printcharfun);
+             strout ("#<buffer ", -1, -1, printcharfun, 0);
              print_string (XBUFFER (obj)->name, printcharfun);
              PRINTCHAR ('>');
            }
@@ -1249,19 +1813,18 @@ print (obj, printcharfun, escapeflag)
        }
       else if (WINDOW_CONFIGURATIONP (obj))
        {
-         strout ("#<window-configuration>", -1, printcharfun);
+         strout ("#<window-configuration>", -1, -1, printcharfun, 0);
        }
       else if (FRAMEP (obj))
        {
          strout ((FRAME_LIVE_P (XFRAME (obj))
                   ? "#<frame " : "#<dead frame "),
-                 -1, printcharfun);
+                 -1, -1, printcharfun, 0);
          print_string (XFRAME (obj)->name, printcharfun);
          sprintf (buf, " 0x%lx", (unsigned long) (XFRAME (obj)));
-         strout (buf, -1, printcharfun);
+         strout (buf, -1, -1, printcharfun, 0);
          PRINTCHAR ('>');
        }
-#endif /* not standalone */
       else
        {
          int size = XVECTOR (obj)->size;
@@ -1288,56 +1851,56 @@ print (obj, printcharfun, escapeflag)
          {
            register int i;
            register Lisp_Object tem;
+           int real_size = size;
 
            /* Don't print more elements than the specified maximum.  */
-           if (INTEGERP (Vprint_length)
-               && XINT (Vprint_length) < size)
-             size = XINT (Vprint_length);
+           if (NATNUMP (Vprint_length)
+               && XFASTINT (Vprint_length) < size)
+             size = XFASTINT (Vprint_length);
 
            for (i = 0; i < size; i++)
              {
                if (i) PRINTCHAR (' ');
                tem = XVECTOR (obj)->contents[i];
-               print (tem, printcharfun, escapeflag);
+               print_object (tem, printcharfun, escapeflag);
              }
+           if (size < real_size)
+             strout (" ...", 4, 4, printcharfun, 0);
          }
          PRINTCHAR (']');
        }
       break;
 
-#ifndef standalone
     case Lisp_Misc:
       switch (XMISCTYPE (obj))
        {
        case Lisp_Misc_Marker:
-         strout ("#<marker ", -1, printcharfun);
-#if 0
+         strout ("#<marker ", -1, -1, printcharfun, 0);
          /* Do you think this is necessary?  */
          if (XMARKER (obj)->insertion_type != 0)
-           strout ("(before-insertion) ", -1, printcharfun);
-#endif /* 0 */
+           strout ("(moves after insertion) ", -1, -1, printcharfun, 0);
          if (!(XMARKER (obj)->buffer))
-           strout ("in no buffer", -1, printcharfun);
+           strout ("in no buffer", -1, -1, printcharfun, 0);
          else
            {
              sprintf (buf, "at %d", marker_position (obj));
-             strout (buf, -1, printcharfun);
-             strout (" in ", -1, printcharfun);
+             strout (buf, -1, -1, printcharfun, 0);
+             strout (" in ", -1, -1, printcharfun, 0);
              print_string (XMARKER (obj)->buffer->name, printcharfun);
            }
          PRINTCHAR ('>');
          break;
 
        case Lisp_Misc_Overlay:
-         strout ("#<overlay ", -1, printcharfun);
+         strout ("#<overlay ", -1, -1, printcharfun, 0);
          if (!(XMARKER (OVERLAY_START (obj))->buffer))
-           strout ("in no buffer", -1, printcharfun);
+           strout ("in no buffer", -1, -1, printcharfun, 0);
          else
            {
              sprintf (buf, "from %d to %d in ",
                       marker_position (OVERLAY_START (obj)),
                       marker_position (OVERLAY_END   (obj)));
-             strout (buf, -1, printcharfun);
+             strout (buf, -1, -1, printcharfun, 0);
              print_string (XMARKER (OVERLAY_START (obj))->buffer->name,
                            printcharfun);
            }
@@ -1347,59 +1910,72 @@ print (obj, printcharfun, escapeflag)
       /* Remaining cases shouldn't happen in normal usage, but let's print
         them anyway for the benefit of the debugger.  */
        case Lisp_Misc_Free:
-         strout ("#<misc free cell>", -1, printcharfun);
+         strout ("#<misc free cell>", -1, -1, printcharfun, 0);
          break;
 
        case Lisp_Misc_Intfwd:
          sprintf (buf, "#<intfwd to %d>", *XINTFWD (obj)->intvar);
-         strout (buf, -1, printcharfun);
+         strout (buf, -1, -1, printcharfun, 0);
          break;
 
        case Lisp_Misc_Boolfwd:
          sprintf (buf, "#<boolfwd to %s>",
                   (*XBOOLFWD (obj)->boolvar ? "t" : "nil"));
-         strout (buf, -1, printcharfun);
+         strout (buf, -1, -1, printcharfun, 0);
          break;
 
        case Lisp_Misc_Objfwd:
-         strout ("#<objfwd to ", -1, printcharfun);
-         print (*XOBJFWD (obj)->objvar, printcharfun, escapeflag);
+         strout ("#<objfwd to ", -1, -1, printcharfun, 0);
+         print_object (*XOBJFWD (obj)->objvar, printcharfun, escapeflag);
          PRINTCHAR ('>');
          break;
 
        case Lisp_Misc_Buffer_Objfwd:
-         strout ("#<buffer_objfwd to ", -1, printcharfun);
-         print (*(Lisp_Object *)((char *)current_buffer
-                                 + XBUFFER_OBJFWD (obj)->offset),
-                printcharfun, escapeflag);
+         strout ("#<buffer_objfwd to ", -1, -1, printcharfun, 0);
+         print_object (PER_BUFFER_VALUE (current_buffer,
+                                         XBUFFER_OBJFWD (obj)->offset),
+                       printcharfun, escapeflag);
          PRINTCHAR ('>');
          break;
 
        case Lisp_Misc_Kboard_Objfwd:
-         strout ("#<kboard_objfwd to ", -1, printcharfun);
-         print (*(Lisp_Object *)((char *) current_kboard
-                                 + XKBOARD_OBJFWD (obj)->offset),
-                printcharfun, escapeflag);
+         strout ("#<kboard_objfwd to ", -1, -1, printcharfun, 0);
+         print_object (*(Lisp_Object *)((char *) current_kboard
+                                        + XKBOARD_OBJFWD (obj)->offset),
+                       printcharfun, escapeflag);
          PRINTCHAR ('>');
          break;
 
        case Lisp_Misc_Buffer_Local_Value:
-         strout ("#<buffer_local_value ", -1, printcharfun);
+         strout ("#<buffer_local_value ", -1, -1, printcharfun, 0);
          goto do_buffer_local;
        case Lisp_Misc_Some_Buffer_Local_Value:
-         strout ("#<some_buffer_local_value ", -1, printcharfun);
+         strout ("#<some_buffer_local_value ", -1, -1, printcharfun, 0);
        do_buffer_local:
-         strout ("[realvalue] ", -1, printcharfun);
-         print (XBUFFER_LOCAL_VALUE (obj)->car, printcharfun, escapeflag);
-         strout ("[buffer] ", -1, printcharfun);
-         print (XCONS (XBUFFER_LOCAL_VALUE (obj)->cdr)->car,
-                printcharfun, escapeflag);
-         strout ("[alist-elt] ", -1, printcharfun);
-         print (XCONS (XCONS (XBUFFER_LOCAL_VALUE (obj)->cdr)->cdr)->car,
-                printcharfun, escapeflag);
-         strout ("[default-value] ", -1, printcharfun);
-         print (XCONS (XCONS (XBUFFER_LOCAL_VALUE (obj)->cdr)->cdr)->cdr,
-                printcharfun, escapeflag);
+         strout ("[realvalue] ", -1, -1, printcharfun, 0);
+         print_object (XBUFFER_LOCAL_VALUE (obj)->realvalue,
+                       printcharfun, escapeflag);
+         if (XBUFFER_LOCAL_VALUE (obj)->found_for_buffer)
+           strout ("[local in buffer] ", -1, -1, printcharfun, 0);
+         else
+           strout ("[buffer] ", -1, -1, printcharfun, 0);
+         print_object (XBUFFER_LOCAL_VALUE (obj)->buffer,
+                       printcharfun, escapeflag);
+         if (XBUFFER_LOCAL_VALUE (obj)->check_frame)
+           {
+             if (XBUFFER_LOCAL_VALUE (obj)->found_for_frame)
+               strout ("[local in frame] ", -1, -1, printcharfun, 0);
+             else
+               strout ("[frame] ", -1, -1, printcharfun, 0);
+             print_object (XBUFFER_LOCAL_VALUE (obj)->frame,
+                           printcharfun, escapeflag);
+           }
+         strout ("[alist-elt] ", -1, -1, printcharfun, 0);
+         print_object (XCAR (XBUFFER_LOCAL_VALUE (obj)->cdr),
+                       printcharfun, escapeflag);
+         strout ("[default-value] ", -1, -1, printcharfun, 0);
+         print_object (XCDR (XBUFFER_LOCAL_VALUE (obj)->cdr),
+                       printcharfun, escapeflag);
          PRINTCHAR ('>');
          break;
 
@@ -1407,30 +1983,28 @@ print (obj, printcharfun, escapeflag)
          goto badtype;
        }
       break;
-#endif /* standalone */
 
     default:
     badtype:
       {
        /* We're in trouble if this happens!
           Probably should just abort () */
-       strout ("#<EMACS BUG: INVALID DATATYPE ", -1, printcharfun);
+       strout ("#<EMACS BUG: INVALID DATATYPE ", -1, -1, printcharfun, 0);
        if (MISCP (obj))
          sprintf (buf, "(MISC 0x%04x)", (int) XMISCTYPE (obj));
        else if (VECTORLIKEP (obj))
          sprintf (buf, "(PVEC 0x%08x)", (int) XVECTOR (obj)->size);
        else
          sprintf (buf, "(0x%02x)", (int) XTYPE (obj));
-       strout (buf, -1, printcharfun);
+       strout (buf, -1, -1, printcharfun, 0);
        strout (" Save your buffers immediately and please report this bug>",
-               -1, printcharfun);
+               -1, -1, printcharfun, 0);
       }
     }
 
   print_depth--;
 }
 \f
-#ifdef USE_TEXT_PROPERTIES
 
 /* Print a description of INTERVAL using PRINTCHARFUN.
    This is part of printing a string that has text properties.  */
@@ -1441,74 +2015,124 @@ print_interval (interval, printcharfun)
      Lisp_Object printcharfun;
 {
   PRINTCHAR (' ');
-  print (make_number (interval->position), printcharfun, 1);
+  print_object (make_number (interval->position), printcharfun, 1);
   PRINTCHAR (' ');
-  print (make_number (interval->position + LENGTH (interval)),
+  print_object (make_number (interval->position + LENGTH (interval)),
         printcharfun, 1);
   PRINTCHAR (' ');
-  print (interval->plist, printcharfun, 1);
+  print_object (interval->plist, printcharfun, 1);
 }
 
-#endif /* USE_TEXT_PROPERTIES */
 \f
 void
 syms_of_print ()
 {
+  Qtemp_buffer_setup_hook = intern ("temp-buffer-setup-hook");
+  staticpro (&Qtemp_buffer_setup_hook);
+
   DEFVAR_LISP ("standard-output", &Vstandard_output,
-    "Output stream `print' uses by default for outputting a character.\n\
-This may be any function of one argument.\n\
-It may also be a buffer (output is inserted before point)\n\
-or a marker (output is inserted and the marker is advanced)\n\
-or the symbol t (output appears in the echo area).");
+              doc: /* Output stream `print' uses by default for outputting a character.
+This may be any function of one argument.
+It may also be a buffer (output is inserted before point)
+or a marker (output is inserted and the marker is advanced)
+or the symbol t (output appears in the echo area).  */);
   Vstandard_output = Qt;
   Qstandard_output = intern ("standard-output");
   staticpro (&Qstandard_output);
 
-#ifdef LISP_FLOAT_TYPE
   DEFVAR_LISP ("float-output-format", &Vfloat_output_format,
-    "The format descriptor string used to print floats.\n\
-This is a %-spec like those accepted by `printf' in C,\n\
-but with some restrictions.  It must start with the two characters `%.'.\n\
-After that comes an integer precision specification,\n\
-and then a letter which controls the format.\n\
-The letters allowed are `e', `f' and `g'.\n\
-Use `e' for exponential notation \"DIG.DIGITSeEXPT\"\n\
-Use `f' for decimal point notation \"DIGITS.DIGITS\".\n\
-Use `g' to choose the shorter of those two formats for the number at hand.\n\
-The precision in any of these cases is the number of digits following\n\
-the decimal point.  With `f', a precision of 0 means to omit the\n\
-decimal point.  0 is not allowed with `e' or `g'.\n\n\
-A value of nil means to use `%.17g'.");
+              doc: /* The format descriptor string used to print floats.
+This is a %-spec like those accepted by `printf' in C,
+but with some restrictions.  It must start with the two characters `%.'.
+After that comes an integer precision specification,
+and then a letter which controls the format.
+The letters allowed are `e', `f' and `g'.
+Use `e' for exponential notation \"DIG.DIGITSeEXPT\"
+Use `f' for decimal point notation \"DIGITS.DIGITS\".
+Use `g' to choose the shorter of those two formats for the number at hand.
+The precision in any of these cases is the number of digits following
+the decimal point.  With `f', a precision of 0 means to omit the
+decimal point.  0 is not allowed with `e' or `g'.
+
+A value of nil means to use the shortest notation
+that represents the number without losing information.  */);
   Vfloat_output_format = Qnil;
   Qfloat_output_format = intern ("float-output-format");
   staticpro (&Qfloat_output_format);
-#endif /* LISP_FLOAT_TYPE */
 
   DEFVAR_LISP ("print-length", &Vprint_length,
-    "Maximum length of list to print before abbreviating.\n\
-A value of nil means no limit.");
+              doc: /* Maximum length of list to print before abbreviating.
+A value of nil means no limit.  See also `eval-expression-print-length'.  */);
   Vprint_length = Qnil;
 
   DEFVAR_LISP ("print-level", &Vprint_level,
-    "Maximum depth of list nesting to print before abbreviating.\n\
-A value of nil means no limit.");
+              doc: /* Maximum depth of list nesting to print before abbreviating.
+A value of nil means no limit.  See also `eval-expression-print-level'.  */);
   Vprint_level = Qnil;
 
   DEFVAR_BOOL ("print-escape-newlines", &print_escape_newlines,
-    "Non-nil means print newlines in strings as backslash-n.\n\
-Also print formfeeds as backslash-f.");
+              doc: /* Non-nil means print newlines in strings as `\\n'.
+Also print formfeeds as `\\f'.  */);
   print_escape_newlines = 0;
 
+  DEFVAR_BOOL ("print-escape-nonascii", &print_escape_nonascii,
+              doc: /* Non-nil means print unibyte non-ASCII chars in strings as \\OOO.
+\(OOO is the octal representation of the character code.)
+Only single-byte characters are affected, and only in `prin1'.  */);
+  print_escape_nonascii = 0;
+
+  DEFVAR_BOOL ("print-escape-multibyte", &print_escape_multibyte,
+              doc: /* Non-nil means print multibyte characters in strings as \\xXXXX.
+\(XXXX is the hex representation of the character code.)
+This affects only `prin1'.  */);
+  print_escape_multibyte = 0;
+
   DEFVAR_BOOL ("print-quoted", &print_quoted,
-    "Non-nil means print quoted forms with reader syntax.\n\
-I.e., (quote foo) prints as 'foo, (function foo) as #'foo, and, backquoted\n\
-forms print in the new syntax.");
+              doc: /* Non-nil means print quoted forms with reader syntax.
+I.e., (quote foo) prints as 'foo, (function foo) as #'foo, and backquoted
+forms print as in the new syntax.  */);
   print_quoted = 0;
 
-  DEFVAR_BOOL ("print-gensym", &print_gensym,
-    "Non-nil means print uninterned symbols so they will read as uninterned.\n\
-I.e., the value of (make-symbol "foobar") prints as #:foobar.");
-  print_gensym = 0;
+  DEFVAR_LISP ("print-gensym", &Vprint_gensym,
+              doc: /* Non-nil means print uninterned symbols so they will read as uninterned.
+I.e., the value of (make-symbol \"foobar\") prints as #:foobar.
+When the uninterned symbol appears within a recursive data structure,
+and the symbol appears more than once, in addition use the #N# and #N=
+constructs as needed, so that multiple references to the same symbol are
+shared once again when the text is read back.  */);
+  Vprint_gensym = Qnil;
+
+  DEFVAR_LISP ("print-circle", &Vprint_circle,
+              doc: /* *Non-nil means print recursive structures using #N= and #N# syntax.
+If nil, printing proceeds recursively and may lead to
+`max-lisp-eval-depth' being exceeded or an error may occur:
+\"Apparently circular structure being printed.\"  Also see
+`print-length' and `print-level'.
+If non-nil, shared substructures anywhere in the structure are printed
+with `#N=' before the first occurrence (in the order of the print
+representation) and `#N#' in place of each subsequent occurrence,
+where N is a positive decimal integer.  */);
+  Vprint_circle = Qnil;
+
+  DEFVAR_LISP ("print-continuous-numbering", &Vprint_continuous_numbering,
+              doc: /* *Non-nil means number continuously across print calls.
+This affects the numbers printed for #N= labels and #M# references.
+See also `print-circle', `print-gensym', and `print-number-table'.
+This variable should not be set with `setq'; bind it with a `let' instead.  */);
+  Vprint_continuous_numbering = Qnil;
+
+  DEFVAR_LISP ("print-number-table", &Vprint_number_table,
+              doc: /* A vector used internally to produce `#N=' labels and `#N#' references.
+The Lisp printer uses this vector to detect Lisp objects referenced more
+than once.
+
+When you bind `print-continuous-numbering' to t, you should probably
+also bind `print-number-table' to nil.  This ensures that the value of
+`print-number-table' can be garbage-collected once the printing is
+done.  If all elements of `print-number-table' are nil, it means that
+the printing done so far has not found any shared structure or objects
+that need to be recorded in the table.  */);
+  Vprint_number_table = Qnil;
 
   /* prin1_to_string_buffer initialized in init_buffer_once in buffer.c */
   staticpro (&Vprin1_to_string_buffer);
@@ -1528,10 +2152,11 @@ I.e., the value of (make-symbol "foobar") prints as #:foobar.");
   Qprint_escape_newlines = intern ("print-escape-newlines");
   staticpro (&Qprint_escape_newlines);
 
-  staticpro (&printed_gensyms);
-  printed_gensyms = Qnil;
+  Qprint_escape_multibyte = intern ("print-escape-multibyte");
+  staticpro (&Qprint_escape_multibyte);
+
+  Qprint_escape_nonascii = intern ("print-escape-nonascii");
+  staticpro (&Qprint_escape_nonascii);
 
-#ifndef standalone
   defsubr (&Swith_output_to_temp_buffer);
-#endif /* not standalone */
 }