]> code.delx.au - gnu-emacs/blobdiff - src/print.c
(remove-overlays): Fix last change.
[gnu-emacs] / src / print.c
index 27e66f98dac5a8f76ee8b74cd4310e60eb6e0778..c81f99f6436cf2e0f4d04c99c324c445e19549e3 100644 (file)
@@ -1,5 +1,7 @@
 /* Lisp object printing and output streams.
-   Copyright (C) 1985, 1986, 1988, 1993, 1994 Free Software Foundation, Inc.
+   Copyright (C) 1985, 1986, 1988, 1993, 1994, 1995, 1997,
+                 1998, 1999, 2000, 2001, 2002, 2003, 2004,
+                 2005, 2006 Free Software Foundation, Inc.
 
 This file is part of GNU Emacs.
 
@@ -15,40 +17,99 @@ GNU General Public License for more details.
 
 You should have received a copy of the GNU General Public License
 along with GNU Emacs; see the file COPYING.  If not, write to
-the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
+the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
+Boston, MA 02110-1301, USA.  */
 
 
 #include <config.h>
 #include <stdio.h>
-#undef NULL
 #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"
-#endif /* not standalone */
-
-#ifdef USE_TEXT_PROPERTIES
 #include "intervals.h"
-#endif
 
 Lisp_Object Vstandard_output, Qstandard_output;
 
-#ifdef LISP_FLOAT_TYPE
+Lisp_Object Qtemp_buffer_setup_hook;
+
+/* These are used to print like we read.  */
+extern Lisp_Object Qbackquote, Qcomma, Qcomma_at, Qcomma_dot, Qfunction;
+
 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];
 
+/* When printing into a buffer, first we put the text in this
+   block, then insert it all at once.  */
+char *print_buffer;
+
+/* Size allocated in print_buffer.  */
+int print_buffer_size;
+/* 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 */
 
@@ -63,341 +124,533 @@ 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;
+
+/* Non-nil means print #: before uninterned symbols.  */
+
+Lisp_Object Vprint_gensym;
+
+/* Non-nil means print recursive structures using #n= and #n# syntax.  */
 
-/* Nonzero means print newline before next minibuffer message.
+Lisp_Object Vprint_circle;
+
+/* 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;
-}
+/* GDB resets this to zero on W32 to disable OutputDebugString calls.  */
+int print_output_debug_flag = 1;
 
-void
-str_to_glyph_cpy (str, glyphs)
-     char *str;
-     GLYPH *glyphs;
-{
-  register GLYPH *gp = glyphs;
-  register char *cp = str;
+\f
+/* Low level output routines for characters and strings */
 
-  while (*cp)
-    *gp++ = *cp++;
-}
+/* Lisp functions to do output using a stream
+   must have the stream in a variable called printcharfun
+   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 = -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))                                         \
+     {                                                                 \
+       EMACS_INT marker_pos;                                           \
+       if (! XMARKER (printcharfun)->buffer)                           \
+         error ("Marker does not point anywhere");                     \
+       if (XMARKER (printcharfun)->buffer != current_buffer)           \
+         set_buffer_internal (XMARKER (printcharfun)->buffer);         \
+       marker_pos = marker_position (printcharfun);                    \
+       if (marker_pos < BEGV || marker_pos > ZV)                       \
+        error ("Marker is outside the accessible part of the buffer"); \
+       old_point = PT;                                                 \
+       old_point_byte = PT_BYTE;                                       \
+       SET_PT_BOTH (marker_pos,                                                \
+                   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);                \
+       signal_after_change (PT - print_buffer_pos, 0, print_buffer_pos);\
+     }                                                                 \
+   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);
 
-void
-str_to_glyph_ncpy (str, glyphs, n)
-     char *str;
-     GLYPH *glyphs;
-     register int n;
-{
-  register GLYPH *gp = glyphs;
-  register char *cp = str;
+#define PRINTCHAR(ch) printchar (ch, printcharfun)
 
-  while (n-- > 0)
-    *gp++ = *cp++;
-}
+/* This is used to restore the saved contents of print_buffer
+   when there is a recursive call to print.  */
 
-void
-glyph_to_str_cpy (glyphs, str)
-     GLYPH *glyphs;
-     char *str;
+static Lisp_Object
+print_unwind (saved_text)
+     Lisp_Object saved_text;
 {
-  register GLYPH *gp = glyphs;
-  register char *cp = str;
-
-  while (*gp)
-    *str++ = *gp++ & 0377;
+  bcopy (SDATA (saved_text), print_buffer, SCHARS (saved_text));
+  return Qnil;
 }
-#endif
-\f
-/* Low level output routines for characters and strings */
-
-/* Lisp functions to do output using a stream
- must have the stream in a variable called printcharfun
- and must start with PRINTPREPARE and end with PRINTFINISH.
- Use PRINTCHAR to output one character,
- or call strout to output a block of characters.
- Also, each one must have the declarations
-   struct buffer *old = current_buffer;
-   int old_point = -1, start_point;
-   Lisp_Object original;
-*/ 
-
-#define PRINTPREPARE                                           \
-   original = printcharfun;                                    \
-   if (NILP (printcharfun)) printcharfun = Qt;                 \
-   if (XTYPE (printcharfun) == Lisp_Buffer)                    \
-     { if (XBUFFER (printcharfun) != current_buffer)           \
-        Fset_buffer (printcharfun);                            \
-       printcharfun = Qnil;}                                   \
-   if (XTYPE (printcharfun) == Lisp_Marker)                    \
-     { if (!(XMARKER (original)->buffer))                      \
-         error ("Marker does not point anywhere");             \
-       if (XMARKER (original)->buffer != current_buffer)       \
-         set_buffer_internal (XMARKER (original)->buffer);     \
-       old_point = point;                                      \
-       SET_PT (marker_position (printcharfun));                        \
-       start_point = point;                                    \
-       printcharfun = Qnil;}
-
-#define PRINTFINISH                                    \
-   if (XTYPE (original) == Lisp_Marker)                        \
-     Fset_marker (original, make_number (point), Qnil);        \
-   if (old_point >= 0)                                 \
-     SET_PT (old_point + (old_point >= start_point     \
-                         ? point - start_point : 0));  \
-   if (old != current_buffer)                          \
-     set_buffer_internal (old)
 
-#define PRINTCHAR(ch) printchar (ch, printcharfun)
 
-/* 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 char ch;
+     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))
-    {
-      QUIT;
-      insert (&ch, 1);
-      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 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)
        {
-         putchar (ch);
+         fwrite (str, 1, len, stdout);
          noninteractive_need_newline = 1;
-         return;
        }
-
-      if (echo_area_glyphs != FRAME_MESSAGE_BUF (mini_frame)
-         || !message_buf_print)
+      else
        {
-         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);
        }
+    }
+}
 
-      if (printbufidx < FRAME_WIDTH (mini_frame) - 1)
-       FRAME_MESSAGE_BUF (mini_frame)[printbufidx++] = ch;
-      FRAME_MESSAGE_BUF (mini_frame)[printbufidx] = 0;
-      echo_area_glyphs_length = printbufidx;
 
-      return;
-    }
-#endif /* not standalone */
+/* 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.
 
-  XFASTINT (ch1) = ch;
-  call1 (fun, ch1);
-}
+   In the case where PRINTCHARFUN is nil, it is safe for PTR to point
+   to data in a Lisp string.  Otherwise that is not safe.  */
 
 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_byte = size = strlen (ptr);
 
-  if (EQ (printcharfun, Qnil))
+  if (NILP (printcharfun))
     {
-      insert (ptr, size >= 0 ? size : strlen (ptr));
+      if (print_buffer_pos_byte + size_byte > print_buffer_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_byte, size_byte);
+      print_buffer_pos += size;
+      print_buffer_pos_byte += size_byte;
+
 #ifdef MAX_PRINT_CHARS
       if (max_print)
-        print_chars += size >= 0 ? size : strlen(ptr);
+        print_chars += size;
 #endif /* MAX_PRINT_CHARS */
-      return;
     }
-  if (EQ (printcharfun, Qt))
+  else if (noninteractive && EQ (printcharfun, Qt))
+    {
+      fwrite (ptr, 1, size_byte, stdout);
+      noninteractive_need_newline = 1;
+    }
+  else if (EQ (printcharfun, Qt))
     {
-      FRAME_PTR mini_frame
-       = XFRAME (WINDOW_FRAME (XWINDOW (minibuf_window)));
+      /* 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);
+           }
+       }
 
-      i = size >= 0 ? size : strlen (ptr);
 #ifdef MAX_PRINT_CHARS
       if (max_print)
-        print_chars += i;
+        print_chars += size;
 #endif /* MAX_PRINT_CHARS */
+    }
+  else
+    {
+      /* PRINTCHARFUN is a Lisp function.  */
+      int i = 0;
 
-      if (noninteractive)
+      if (size == size_byte)
        {
-         fwrite (ptr, 1, i, stdout);
-         noninteractive_need_newline = 1;
-         return;
+         while (i < size_byte)
+           {
+             int ch = ptr[i++];
+             PRINTCHAR (ch);
+           }
        }
-
-      if (echo_area_glyphs != FRAME_MESSAGE_BUF (mini_frame)
-         || !message_buf_print)
+      else
        {
-         echo_area_glyphs = FRAME_MESSAGE_BUF (mini_frame);
-         printbufidx = 0;
-         echo_area_glyphs_length = 0;
-         message_buf_print = 1;
+         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;
+           }
        }
-
-      if (i > FRAME_WIDTH (mini_frame) - printbufidx - 1)
-       i = FRAME_WIDTH (mini_frame) - printbufidx - 1;
-      bcopy (ptr, &FRAME_MESSAGE_BUF (mini_frame) [printbufidx], i);
-      printbufidx += i;
-      echo_area_glyphs_length = printbufidx;
-      FRAME_MESSAGE_BUF (mini_frame) [printbufidx] = 0;
-
-      return;
     }
-
-  if (size >= 0)
-    while (i < size)
-      PRINTCHAR (ptr[i++]);
-  else
-    while (ptr[i])
-      PRINTCHAR (ptr[i++]);
 }
 
 /* Print the contents of a string STRING using PRINTCHARFUN.
-   It isn't safe to use strout, because printing one char can relocate.  */
+   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, Qnil) || EQ (printcharfun, Qt))
-    /* In predictable cases, strout is safe: output to buffer or frame.  */
-    strout (XSTRING (string)->data, XSTRING (string)->size, printcharfun);
+  if (EQ (printcharfun, Qt) || NILP (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);
+
+      if (EQ (printcharfun, Qt))
+       {
+         /* Output to echo area.  */
+         int nbytes = SBYTES (string);
+         char *buffer;
+
+         /* Copy the string contents so that relocation of STRING by
+            GC does not cause trouble.  */
+         USE_SAFE_ALLOCA;
+
+         SAFE_ALLOCA (buffer, char *, nbytes);
+         bcopy (SDATA (string), buffer, nbytes);
+
+         strout (buffer, chars, SBYTES (string),
+                 printcharfun, STRING_MULTIBYTE (string));
+
+         SAFE_FREE ();
+       }
+      else
+       /* No need to copy, since output to print_buffer can't GC.  */
+       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; )
+         {
+           /* 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 CHAR to stream PRINTCHARFUN.\n\
-PRINTCHARFUN defaults to the value of `standard-output' (which see).")
-  (ch, printcharfun)
-     Lisp_Object ch, printcharfun;
+       doc: /* Output character CHARACTER to stream PRINTCHARFUN.
+PRINTCHARFUN defaults to the value of `standard-output' (which see).  */)
+     (character, printcharfun)
+     Lisp_Object character, printcharfun;
 {
-  struct buffer *old = current_buffer;
-  int old_point = -1;
-  int start_point;
-  Lisp_Object original;
+  PRINTDECLARE;
 
   if (NILP (printcharfun))
     printcharfun = Vstandard_output;
-  CHECK_NUMBER (ch, 0);
+  CHECK_NUMBER (character);
   PRINTPREPARE;
-  PRINTCHAR (XINT (ch));
+  PRINTCHAR (XINT (character));
   PRINTFINISH;
-  return ch;
+  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;
 {
-  struct buffer *old = current_buffer;
+  PRINTDECLARE;
   Lisp_Object printcharfun;
-  int old_point = -1;
-  int start_point;
-  Lisp_Object original;
 
   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;
      Lisp_Object printcharfun;
 {
-  struct buffer *old = current_buffer;
-  int old_point = -1;
-  int start_point;
-  Lisp_Object original;
+  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 ();
+  delete_all_overlays (current_buffer);
+  current_buffer->directory = old->directory;
   current_buffer->read_only = Qnil;
+  current_buffer->filename = Qnil;
+  current_buffer->undo_list = Qt;
+  eassert (current_buffer->overlays_before == NULL);
+  eassert (current_buffer->overlays_after == NULL);
+  current_buffer->enable_multibyte_characters
+    = buffer_defaults.enable_multibyte_characters;
+  specbind (Qinhibit_read_only, Qt);
+  specbind (Qinhibit_modification_hooks, Qt);
   Ferase_buffer ();
+  XSETBUFFER (buf, current_buffer);
 
-  XSET (buf, Lisp_Buffer, current_buffer);
-  specbind (Qstandard_output, buf);
+  Frun_hooks (1, &Qtemp_buffer_setup_hook);
 
-  set_buffer_internal (old);
+  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;
 
@@ -416,52 +669,64 @@ 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 BUFNAME 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;
 {
-  struct buffer *old = current_buffer;
-  int old_point = -1;
-  int start_point;
-  Lisp_Object original;
+  PRINTDECLARE;
 
   if (NILP (printcharfun))
     printcharfun = Vstandard_output;
@@ -472,17 +737,32 @@ 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).")
-  (obj, printcharfun)
-     Lisp_Object obj, 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;
 {
-  struct buffer *old = current_buffer;
-  int old_point = -1;
-  int start_point;
-  Lisp_Object original;
+  PRINTDECLARE;
 
 #ifdef MAX_PRINT_CHARS
   max_print = 0;
@@ -490,80 +770,134 @@ Output stream is PRINTCHARFUN, or value of `standard-output' (which see).")
   if (NILP (printcharfun))
     printcharfun = Vstandard_output;
   PRINTPREPARE;
-  print_depth = 0;
-  print (obj, printcharfun, 1);
+  print (object, printcharfun, 1);
   PRINTFINISH;
-  return obj;
+  return object;
 }
 
 /* a buffer which is used to hold output being built by prin1-to-string */
 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.")
-  (obj, noescape)
-     Lisp_Object obj, 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.  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.  */)
+     (object, noescape)
+     Lisp_Object object, noescape;
 {
-  struct buffer *old = current_buffer;
-  int old_point = -1;
-  int start_point;
-  Lisp_Object original, printcharfun;
-  struct gcpro gcpro1;
+  Lisp_Object printcharfun;
+  /* struct gcpro gcpro1, gcpro2; */
+  Lisp_Object save_deactivate_mark;
+  int count = specpdl_ptr - specpdl;
+  struct buffer *previous;
 
-  printcharfun = Vprin1_to_string_buffer;
-  PRINTPREPARE;
-  print_depth = 0;
-  print (obj, printcharfun, NILP (noescape));
-  /* Make Vprin1_to_string_buffer be the default buffer after PRINTFINSH */
-  PRINTFINISH;
+  specbind (Qinhibit_modification_hooks, Qt);
+
+  {
+    PRINTDECLARE;
+
+    /* Save and restore this--we are altering a buffer
+       but we don't want to deactivate the mark just for that.
+       No need for specbind, since errors deactivate the mark.  */
+    save_deactivate_mark = Vdeactivate_mark;
+    /* GCPRO2 (object, save_deactivate_mark); */
+    abort_on_gc++;
+
+    printcharfun = Vprin1_to_string_buffer;
+    PRINTPREPARE;
+    print (object, printcharfun, NILP (noescape));
+    /* Make Vprin1_to_string_buffer be the default buffer after PRINTFINSH */
+    PRINTFINISH;
+  }
+
+  previous = current_buffer;
   set_buffer_internal (XBUFFER (Vprin1_to_string_buffer));
-  obj = Fbuffer_string ();
+  object = Fbuffer_string ();
+  if (SBYTES (object) == SCHARS (object))
+    STRING_SET_UNIBYTE (object);
 
-  GCPRO1 (obj);
+  /* Note that this won't make prepare_to_modify_buffer call
+     ask-user-about-supersession-threat because this buffer
+     does not visit a file.  */
   Ferase_buffer ();
-  set_buffer_internal (old);
-  UNGCPRO;
+  set_buffer_internal (previous);
 
-  return obj;
+  Vdeactivate_mark = save_deactivate_mark;
+  /* UNGCPRO; */
+
+  abort_on_gc--;
+  return unbind_to (count, object);
 }
 
 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).")
-  (obj, printcharfun)
-     Lisp_Object obj, 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;
 {
-  struct buffer *old = current_buffer;
-  int old_point = -1;
-  int start_point;
-  Lisp_Object original;
+  PRINTDECLARE;
 
   if (NILP (printcharfun))
     printcharfun = Vstandard_output;
   PRINTPREPARE;
-  print_depth = 0;
-  print (obj, printcharfun, 0);
+  print (object, printcharfun, 0);
   PRINTFINISH;
-  return obj;
+  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).")
-  (obj, printcharfun)
-     Lisp_Object obj, 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;
 {
-  struct buffer *old = current_buffer;
-  int old_point = -1;
-  int start_point;
-  Lisp_Object original;
+  PRINTDECLARE;
   struct gcpro gcpro1;
 
 #ifdef MAX_PRINT_CHARS
@@ -572,11 +906,10 @@ Output stream is PRINTCHARFUN, or value of `standard-output' (which see).")
 #endif /* MAX_PRINT_CHARS */
   if (NILP (printcharfun))
     printcharfun = Vstandard_output;
-  GCPRO1 (obj);
+  GCPRO1 (object);
   PRINTPREPARE;
-  print_depth = 0;
   PRINTCHAR ('\n');
-  print (obj, printcharfun, 1);
+  print (object, printcharfun, 1);
   PRINTCHAR ('\n');
   PRINTFINISH;
 #ifdef MAX_PRINT_CHARS
@@ -584,7 +917,7 @@ Output stream is PRINTCHARFUN, or value of `standard-output' (which see).")
   print_chars = 0;
 #endif /* MAX_PRINT_CHARS */
   UNGCPRO;
-  return obj;
+  return object;
 }
 
 /* The subroutine object for external-debugging-output is kept here
@@ -592,93 +925,334 @@ 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).  */
+  if (print_output_debug_flag)
+    {
+      char buf[2] = {(char) XINT (character), '\0'};
+      OutputDebugString (buf);
+    }
+#endif
+
   return character;
 }
 
-/* This is the interface for debugging printing.  */
+/* This function is never called.  Its purpose is to prevent
+   print_output_debug_flag from being optimized away.  */
 
 void
-debug_print (arg)
-     Lisp_Object arg;
+debug_output_compilation_hack (x)
+     int x;
 {
-  Fprin1 (arg, Qexternal_debugging_output);
+  print_output_debug_flag = x;
 }
-\f
-#ifdef LISP_FLOAT_TYPE
 
-/*
- * The buffer should be at least as large as the max string size of the
- * largest float, printed in the biggest notation.  This is undoubtably
- * 20d float_output_format, with the negative of the C-constant "HUGE"
- * from <math.h>.
- * 
- * On the vax the worst case is -1e38 in 20d format which takes 61 bytes.
- * 
- * I assume that IEEE-754 format numbers can take 329 bytes for the worst
- * case of -1e307 in 20d float_output_format. What is one to do (short of
- * re-writing _doprnt to be more sane)?
- *                     -wsr
- */
+#if defined (GNU_LINUX)
 
-void
-float_to_string (buf, data)
-     unsigned char *buf;
-     double data;
+/* This functionality is not vitally important in general, so we rely on
+   non-portable ability to use stderr as lvalue.  */
+
+#define WITH_REDIRECT_DEBUGGING_OUTPUT 1
+
+FILE *initial_stderr_stream = NULL;
+
+DEFUN ("redirect-debugging-output", Fredirect_debugging_output, Sredirect_debugging_output,
+       1, 2,
+       "FDebug output file: \nP",
+       doc: /* Redirect debugging output (stderr stream) to file FILE.
+If FILE is nil, reset target to the initial stderr stream.
+Optional arg APPEND non-nil (interactively, with prefix arg) means
+append to existing target file.  */)
+     (file, append)
+     Lisp_Object file, append;
 {
-  unsigned char *cp;
-  int width;
-      
-  if (NILP (Vfloat_output_format)
-      || XTYPE (Vfloat_output_format) != Lisp_String)
-  lose:
+  if (initial_stderr_stream != NULL)
+    fclose (stderr);
+  stderr = initial_stderr_stream;
+  initial_stderr_stream = NULL;
+
+  if (STRINGP (file))
     {
-      sprintf (buf, "%.17g", data);
-      width = -1;
+      file = Fexpand_file_name (file, Qnil);
+      initial_stderr_stream = stderr;
+      stderr = fopen (SDATA (file), NILP (append) ? "w" : "a");
+      if (stderr == NULL)
+       {
+         stderr = initial_stderr_stream;
+         initial_stderr_stream = NULL;
+         report_file_error ("Cannot open debugging output stream",
+                            Fcons (file, Qnil));
+       }
     }
-  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;
+  return Qnil;
+}
+#endif /* GNU_LINUX */
 
-      if (cp[0] != '%')
-       goto lose;
-      if (cp[1] != '.')
-       goto lose;
 
-      cp += 2;
+/* This is the interface for debugging printing.  */
 
-      /* Check the width specification.  */
-      width = -1;
-      if ('0' <= *cp && *cp <= '9')
-       for (width = 0; (*cp >= '0' && *cp <= '9'); cp++)
-         width = (width * 10) + (*cp - '0');
+void
+debug_print (arg)
+     Lisp_Object arg;
+{
+  Fprin1 (arg, Qexternal_debugging_output);
+  fprintf (stderr, "\r\n");
+}
 
-      if (*cp != 'e' && *cp != 'f' && *cp != 'g')
-       goto lose;
+void
+safe_debug_print (arg)
+     Lisp_Object arg;
+{
+  int valid = valid_lisp_object_p (arg);
 
-      /* A precision of zero is valid for %f; everything else requires
-        at least one.  Width may be omitted anywhere.  */
-      if (width != -1
-         && (width < (*cp != 'f')
-             || width > DBL_DIG))
-       goto lose;
+  if (valid > 0)
+    debug_print (arg);
+  else
+    fprintf (stderr, "#<%s_LISP_OBJECT 0x%08lx>\r\n",
+            !valid ? "INVALID" : "SOME",
+#ifdef NO_UNION_TYPE
+            (unsigned long) arg
+#else
+            (unsigned long) arg.i
+#endif
+            );
+}
 
-      if (cp[1] != 0)
-       goto lose;
+\f
+DEFUN ("error-message-string", Ferror_message_string, Serror_message_string,
+       1, 1, 0,
+       doc: /* Convert an error value (ERROR-SYMBOL . DATA) to an error message.
+See Info anchor `(elisp)Definition of signal' for some details on how this
+error message is constructed.  */)
+     (obj)
+     Lisp_Object obj;
+{
+  struct buffer *old = current_buffer;
+  Lisp_Object value;
+  struct gcpro gcpro1;
 
-      sprintf (buf, XSTRING (Vfloat_output_format)->data, data);
-    }
+  /* 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 (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, 0, Qnil);
+
+  set_buffer_internal (XBUFFER (Vprin1_to_string_buffer));
+  value = Fbuffer_string ();
+
+  GCPRO1 (value);
+  Ferase_buffer ();
+  set_buffer_internal (old);
+  UNGCPRO;
+
+  return value;
+}
+
+/* Print an error message for the error DATA onto Lisp output stream
+   STREAM (suitable for the print functions).
+   CONTEXT is a C string describing the context of the error.
+   CALLER is the Lisp function inside which the error was signaled.  */
+
+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))
+    {
+      Lisp_Object cname = SYMBOL_NAME (caller);
+      char *name = alloca (SBYTES (cname));
+      bcopy (SDATA (cname), name, SBYTES (cname));
+      message_dolog (name, SBYTES (cname), 0, 0);
+      message_dolog (": ", 2, 0, 0);
+    }
+
+  errname = Fcar (data);
+
+  if (EQ (errname, Qerror))
+    {
+      data = Fcdr (data);
+      if (!CONSP (data))
+       data = Qnil;
+      errmsg = Fcar (data);
+      file_error = Qnil;
+    }
+  else
+    {
+      Lisp_Object error_conditions;
+      errmsg = Fget (errname, Qerror_message);
+      error_conditions = Fget (errname, Qerror_conditions);
+      file_error = Fmemq (Qfile_error, error_conditions);
+    }
+
+  /* Print an error message including the data items.  */
+
+  tail = Fcdr_safe (data);
+  GCPRO1 (tail);
+
+  /* For file-error, make error message by concatenating
+     all the data items.  They are all strings.  */
+  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 = XCDR (tail), i++)
+    {
+      Lisp_Object obj;
+
+      write_string_1 (i ? ", " : ": ", 2, stream);
+      obj = XCAR (tail);
+      if (!NILP (file_error) || EQ (errname, Qend_of_file))
+       Fprinc (obj, stream);
+      else
+       Fprin1 (obj, stream);
+    }
+
+  UNGCPRO;
+}
+
+
+\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
+ * 20d float_output_format, with the negative of the C-constant "HUGE"
+ * from <math.h>.
+ *
+ * On the vax the worst case is -1e38 in 20d format which takes 61 bytes.
+ *
+ * I assume that IEEE-754 format numbers can take 329 bytes for the worst
+ * case of -1e307 in 20d float_output_format. What is one to do (short of
+ * re-writing _doprnt to be more sane)?
+ *                     -wsr
+ */
+
+void
+float_to_string (buf, data)
+     unsigned char *buf;
+     double 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:
+    {
+      /* 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 = SDATA (Vfloat_output_format);
+
+      if (cp[0] != '%')
+       goto lose;
+      if (cp[1] != '.')
+       goto lose;
+
+      cp += 2;
+
+      /* Check the width specification.  */
+      width = -1;
+      if ('0' <= *cp && *cp <= '9')
+       {
+         width = 0;
+         do
+           width = (width * 10) + (*cp++ - '0');
+         while (*cp >= '0' && *cp <= '9');
+
+         /* A precision of zero is valid only for %f.  */
+         if (width > DBL_DIG
+             || (width == 0 && *cp != 'f'))
+           goto lose;
+       }
+
+      if (*cp != 'e' && *cp != 'f' && *cp != 'g')
+       goto lose;
+
+      if (cp[1] != 0)
+       goto lose;
+
+      sprintf (buf, SDATA (Vfloat_output_format), data);
+    }
 
   /* Make sure there is a decimal point with digit after, or an
      exponent, so that the value is readable as a float.  But don't do
@@ -704,7 +1278,7 @@ float_to_string (buf, data)
        }
     }
 }
-#endif /* LISP_FLOAT_TYPE */
+
 \f
 static void
 print (obj, printcharfun, escapeflag)
@@ -712,30 +1286,243 @@ print (obj, printcharfun, escapeflag)
      register Lisp_Object printcharfun;
      int escapeflag;
 {
-  char buf[30];
+  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 (XTYPE (obj) == Lisp_Cons || XTYPE (obj) == Lisp_Vector
-      || XTYPE (obj) == Lisp_Compiled)
+  /* 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_depth = 0;
+      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_depth = 0;
+  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;
+  EMACS_INT size;
+  int loop_count = 0;
+  Lisp_Object halftail;
+
+  /* Give up if we go so deep that print_object will get an error.  */
+  /* See similar code in print_object.  */
+  if (print_depth >= PRINT_CIRCLE)
+    error ("Apparently circular structure being printed");
+
+  /* Avoid infinite recursion for circular nested structure
+     in the case where Vprint_circle is nil.  */
+  if (NILP (Vprint_circle))
+    {
+      for (i = 0; i < print_depth; i++)
+       if (EQ (obj, being_printed[i]))
+         return;
+      being_printed[print_depth] = obj;
     }
-#endif
 
-  being_printed[print_depth] = obj;
   print_depth++;
+  halftail = obj;
+
+ 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;
+                print_depth--;
+                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:
+         /* Use HALFTAIL and LOOP_COUNT to detect circular lists,
+            just as in print_object.  */
+         if (loop_count && EQ (obj, halftail))
+           break;
+         print_preprocess (XCAR (obj));
+         obj = XCDR (obj);
+         loop_count++;
+         if (!(loop_count & 1))
+           halftail = XCDR (halftail);
+         goto loop;
+
+       case Lisp_Vectorlike:
+         size = XVECTOR (obj)->size;
+         if (size & PSEUDOVECTOR_FLAG)
+           size &= PSEUDOVECTOR_SIZE_MASK;
+         for (i = 0; i < size; i++)
+           print_preprocess (XVECTOR (obj)->contents[i]);
+         break;
+
+       default:
+         break;
+       }
+    }
+  print_depth--;
+}
+
+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[40];
+
+  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;
+                 }
+             }
+       }
+    }
+
+  print_depth++;
+
+  /* See similar code in print_preprocess.  */
   if (print_depth > PRINT_CIRCLE)
     error ("Apparently circular structure being printed");
 #ifdef MAX_PRINT_CHARS
@@ -746,62 +1533,74 @@ print (obj, printcharfun, escapeflag)
     }
 #endif /* MAX_PRINT_CHARS */
 
-#ifdef SWITCH_ENUM_BUG
-  switch ((int) XTYPE (obj))
-#else
-  switch (XTYPE (obj))
-#endif
+  switch (XGCTYPE (obj))
     {
-    default:
-      /* We're in trouble if this happens!
-        Probably should just abort () */
-      strout ("#<EMACS BUG: INVALID DATATYPE ", -1, printcharfun);
-      sprintf (buf, "(#o%3o)", (int) XTYPE (obj));
-      strout (buf, -1, printcharfun);
-      strout (" Save your buffers immediately and please report this bug>",
-             -1, printcharfun);
+    case Lisp_Int:
+      if (sizeof (int) == sizeof (EMACS_INT))
+       sprintf (buf, "%d", XINT (obj));
+      else if (sizeof (long) == sizeof (EMACS_INT))
+       sprintf (buf, "%ld", (long) XINT (obj));
+      else
+       abort ();
+      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 /* LISP_FLOAT_TYPE */
-
-    case Lisp_Int:
-      sprintf (buf, "%d", XINT (obj));
-      strout (buf, -1, printcharfun);
-      break;
 
     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 ('\\');
@@ -812,8 +1611,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);
@@ -821,14 +1658,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;
        }
@@ -837,30 +1672,58 @@ 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;
+       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)
+       if (p == end)
          confusing = 0;
-       else
+       /* If symbol name begins with a digit, and ends with a digit,
+          and contains nothing but digits and `e', it could be treated
+          as a number.  So set CONFUSING.
+
+          Symbols that contain periods could also be taken as numbers,
+          but periods are always escaped, so we don't have to worry
+          about them here.  */
+       else if (*p >= '0' && *p <= '9'
+                && end[-1] >= '0' && end[-1] <= '9')
          {
-           while (p != end && *p >= '0' && *p <= '9')
+           while (p != end && ((*p >= '0' && *p <= '9')
+                               /* Needed for \2e10.  */
+                               || *p == 'e'))
              p++;
            confusing = (end == p);
          }
+       else
+         confusing = 0;
 
-       p = XSYMBOL (obj)->name->data;
-       while (p != end)
+       if (! NILP (Vprint_gensym) && !SYMBOL_INTERNED_P (obj))
          {
+           PRINTCHAR ('#');
+           PRINTCHAR (':');
+         }
+
+       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 = *p++;
+
            if (escapeflag)
              {
-               if (c == '\"' || c == '\\' || c == '\'' || c == ';' || c == '#' ||
-                   c == '(' || c == ')' || c == ',' || c =='.' || c == '`' ||
-                   c == '[' || c == ']' || c == '?' || c <= 040 || confusing)
+               if (c == '\"' || c == '\\' || c == '\''
+                   || c == ';' || c == '#' || c == '(' || c == ')'
+                   || c == ',' || c =='.' || c == '`'
+                   || c == '[' || c == ']' || c == '?' || c <= 040
+                   || confusing)
                  PRINTCHAR ('\\'), confusing = 0;
              }
            PRINTCHAR (c);
@@ -870,157 +1733,460 @@ print (obj, printcharfun, escapeflag)
 
     case Lisp_Cons:
       /* If deeper than spec'd depth, print placeholder.  */
-      if (XTYPE (Vprint_level) == Lisp_Int
+      if (INTEGERP (Vprint_level)
          && print_depth > XINT (Vprint_level))
+       strout ("...", -1, -1, printcharfun, 0);
+      else if (print_quoted && CONSP (XCDR (obj)) && NILP (XCDR (XCDR (obj)))
+              && (EQ (XCAR (obj), Qquote)))
        {
-         strout ("...", -1, printcharfun);
-         break;
+         PRINTCHAR ('\'');
+         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_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_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 ('(');
 
-      PRINTCHAR ('(');
-      {
-       register int i = 0;
-       register int max = 0;
-
-       if (XTYPE (Vprint_length) == Lisp_Int)
-         max = XINT (Vprint_length);
-       /* Could recognize circularities in cdrs here,
-          but that would make printing of long lists quadratic.
-          It's not worth doing.  */
-       while (CONSP (obj))
-         {
-           if (i++)
+             print_object (Qbackquote, printcharfun, 0);
              PRINTCHAR (' ');
-           if (max && i > max)
+
+             ++old_backquote_output;
+             print_object (XCAR (XCDR (tem)), printcharfun, 0);
+             --old_backquote_output;
+             PRINTCHAR (')');
+
+             obj = XCDR (obj);
+           }
+
+         {
+           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))
              {
-               strout ("...", 3, printcharfun);
-               break;
+               /* 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 (print_length && i > print_length)
+                 {
+                   strout ("...", 3, 3, printcharfun, 0);
+                   goto end_of_list;
+                 }
+
+               print_object (XCAR (obj), printcharfun, escapeflag);
+
+               obj = XCDR (obj);
+               if (!(i & 1))
+                 halftail = XCDR (halftail);
              }
-           print (Fcar (obj), printcharfun, escapeflag);
-           obj = Fcdr (obj);
          }
-      }
-      if (!NILP (obj) && !CONSP (obj))
-       {
-         strout (" . ", 3, printcharfun);
-         print (obj, printcharfun, escapeflag);
+
+         /* OBJ non-nil here means it's the end of a dotted list.  */
+         if (!NILP (obj))
+           {
+             strout (" . ", 3, 3, printcharfun, 0);
+             print_object (obj, printcharfun, escapeflag);
+           }
+
+       end_of_list:
+         PRINTCHAR (')');
        }
-      PRINTCHAR (')');
       break;
 
-    case Lisp_Compiled:
-      strout ("#", -1, printcharfun);
-    case Lisp_Vector:
-      PRINTCHAR ('[');
-      {
-       register int i;
-       register Lisp_Object tem;
-       for (i = 0; i < XVECTOR (obj)->size; i++)
-         {
-           if (i) PRINTCHAR (' ');
-           tem = XVECTOR (obj)->contents[i];
-           print (tem, printcharfun, escapeflag);
-         }
-      }
-      PRINTCHAR (']');
-      break;
+    case Lisp_Vectorlike:
+      if (PROCESSP (obj))
+       {
+         if (escapeflag)
+           {
+             strout ("#<process ", -1, -1, printcharfun, 0);
+             print_string (XPROCESS (obj)->name, printcharfun);
+             PRINTCHAR ('>');
+           }
+         else
+           print_string (XPROCESS (obj)->name, printcharfun);
+       }
+      else if (BOOL_VECTOR_P (obj))
+       {
+         register int i;
+         register unsigned char c;
+         struct gcpro gcpro1;
+         int size_in_chars
+           = ((XBOOL_VECTOR (obj)->size + BOOL_VECTOR_BITS_PER_CHAR - 1)
+              / BOOL_VECTOR_BITS_PER_CHAR);
+
+         GCPRO1 (obj);
+
+         PRINTCHAR ('#');
+         PRINTCHAR ('&');
+         sprintf (buf, "%ld", (long) XBOOL_VECTOR (obj)->size);
+         strout (buf, -1, -1, printcharfun, 0);
+         PRINTCHAR ('\"');
+
+         /* 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++)
+           {
+             QUIT;
+             c = XBOOL_VECTOR (obj)->data[i];
+             if (c == '\n' && print_escape_newlines)
+               {
+                 PRINTCHAR ('\\');
+                 PRINTCHAR ('n');
+               }
+             else if (c == '\f' && print_escape_newlines)
+               {
+                 PRINTCHAR ('\\');
+                 PRINTCHAR ('f');
+               }
+             else if (c > '\177')
+               {
+                 /* Use octal escapes to avoid encoding issues.  */
+                 PRINTCHAR ('\\');
+                 PRINTCHAR ('0' + ((c >> 6) & 3));
+                 PRINTCHAR ('0' + ((c >> 3) & 7));
+                 PRINTCHAR ('0' + (c & 7));
+               }
+             else
+               {
+                 if (c == '\"' || c == '\\')
+                   PRINTCHAR ('\\');
+                 PRINTCHAR (c);
+               }
+           }
+         PRINTCHAR ('\"');
 
-#ifndef standalone
-    case Lisp_Buffer:
-      if (NILP (XBUFFER (obj)->name))
-       strout ("#<killed buffer>", -1, printcharfun);
-      else if (escapeflag)
+         UNGCPRO;
+       }
+      else if (SUBRP (obj))
        {
-         strout ("#<buffer ", -1, printcharfun);
-         print_string (XBUFFER (obj)->name, printcharfun);
+         strout ("#<subr ", -1, -1, printcharfun, 0);
+         strout (XSUBR (obj)->symbol_name, -1, -1, printcharfun, 0);
          PRINTCHAR ('>');
        }
-      else
-       print_string (XBUFFER (obj)->name, printcharfun);
-      break;
-
-    case Lisp_Process:
-      if (escapeflag)
+      else if (WINDOWP (obj))
        {
-         strout ("#<process ", -1, printcharfun);
-         print_string (XPROCESS (obj)->name, printcharfun);
+         strout ("#<window ", -1, -1, printcharfun, 0);
+         sprintf (buf, "%ld", (long) XFASTINT (XWINDOW (obj)->sequence_number));
+         strout (buf, -1, -1, printcharfun, 0);
+         if (!NILP (XWINDOW (obj)->buffer))
+           {
+             strout (" on ", -1, -1, printcharfun, 0);
+             print_string (XBUFFER (XWINDOW (obj)->buffer)->name, printcharfun);
+           }
          PRINTCHAR ('>');
        }
-      else
-       print_string (XPROCESS (obj)->name, printcharfun);
-      break;
-
-    case Lisp_Window:
-      strout ("#<window ", -1, printcharfun);
-      sprintf (buf, "%d", XFASTINT (XWINDOW (obj)->sequence_number));
-      strout (buf, -1, printcharfun);
-      if (!NILP (XWINDOW (obj)->buffer))
+      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, "%ld/%ld", (long) XFASTINT (h->count),
+                      (long) 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))
        {
-         strout (" on ", -1, printcharfun);
-         print_string (XBUFFER (XWINDOW (obj)->buffer)->name, printcharfun);
+         if (NILP (XBUFFER (obj)->name))
+           strout ("#<killed buffer>", -1, -1, printcharfun, 0);
+         else if (escapeflag)
+           {
+             strout ("#<buffer ", -1, -1, printcharfun, 0);
+             print_string (XBUFFER (obj)->name, printcharfun);
+             PRINTCHAR ('>');
+           }
+         else
+           print_string (XBUFFER (obj)->name, printcharfun);
        }
-      PRINTCHAR ('>');
-      break;
+      else if (WINDOW_CONFIGURATIONP (obj))
+       {
+         strout ("#<window-configuration>", -1, -1, printcharfun, 0);
+       }
+      else if (FRAMEP (obj))
+       {
+         strout ((FRAME_LIVE_P (XFRAME (obj))
+                  ? "#<frame " : "#<dead frame "),
+                 -1, -1, printcharfun, 0);
+         print_string (XFRAME (obj)->name, printcharfun);
+         sprintf (buf, " 0x%lx", (unsigned long) (XFRAME (obj)));
+         strout (buf, -1, -1, printcharfun, 0);
+         PRINTCHAR ('>');
+       }
+      else
+       {
+         EMACS_INT size = XVECTOR (obj)->size;
+         if (COMPILEDP (obj))
+           {
+             PRINTCHAR ('#');
+             size &= PSEUDOVECTOR_SIZE_MASK;
+           }
+         if (CHAR_TABLE_P (obj))
+           {
+             /* We print a char-table as if it were a vector,
+                lumping the parent and default slots in with the
+                character slots.  But we add #^ as a prefix.  */
+             PRINTCHAR ('#');
+             PRINTCHAR ('^');
+             if (SUB_CHAR_TABLE_P (obj))
+               PRINTCHAR ('^');
+             size &= PSEUDOVECTOR_SIZE_MASK;
+           }
+         if (size & PSEUDOVECTOR_FLAG)
+           goto badtype;
 
-    case Lisp_Window_Configuration:
-      strout ("#<window-configuration>", -1, printcharfun);
-      break;
+         PRINTCHAR ('[');
+         {
+           register int i;
+           register Lisp_Object tem;
+           int real_size = size;
 
-#ifdef MULTI_FRAME
-    case Lisp_Frame:
-      strout ((FRAME_LIVE_P (XFRAME (obj))
-              ? "#<frame " : "#<dead frame "),
-             -1, printcharfun);
-      print_string (XFRAME (obj)->name, printcharfun);
-      sprintf (buf, " 0x%lx", (EMACS_UINT) (XFRAME (obj)));
-      strout (buf, -1, printcharfun);
-      strout (">", -1, printcharfun);
-      break;
-#endif /* MULTI_FRAME */
+           /* Don't print more elements than the specified maximum.  */
+           if (NATNUMP (Vprint_length)
+               && XFASTINT (Vprint_length) < size)
+             size = XFASTINT (Vprint_length);
 
-    case Lisp_Marker:
-      strout ("#<marker ", -1, printcharfun);
-      if (!(XMARKER (obj)->buffer))
-       strout ("in no buffer", -1, printcharfun);
-      else
-       {
-         sprintf (buf, "at %d", marker_position (obj));
-         strout (buf, -1, printcharfun);
-         strout (" in ", -1, printcharfun);
-         print_string (XMARKER (obj)->buffer->name, printcharfun);
+           for (i = 0; i < size; i++)
+             {
+               if (i) PRINTCHAR (' ');
+               tem = XVECTOR (obj)->contents[i];
+               print_object (tem, printcharfun, escapeflag);
+             }
+           if (size < real_size)
+             strout (" ...", 4, 4, printcharfun, 0);
+         }
+         PRINTCHAR (']');
        }
-      PRINTCHAR ('>');
       break;
 
-    case Lisp_Overlay:
-      strout ("#<overlay ", -1, printcharfun);
-      if (!(XMARKER (OVERLAY_START (obj))->buffer))
-       strout ("in no buffer", -1, printcharfun);
-      else
+    case Lisp_Misc:
+      switch (XMISCTYPE (obj))
        {
-         sprintf (buf, "from %d to %d in ",
-                  marker_position (OVERLAY_START (obj)),
-                  marker_position (OVERLAY_END   (obj)));
-         strout (buf, -1, printcharfun);
-         print_string (XMARKER (OVERLAY_START (obj))->buffer->name,
-                       printcharfun);
-       }
-      PRINTCHAR ('>');
-      break;
+       case Lisp_Misc_Marker:
+         strout ("#<marker ", -1, -1, printcharfun, 0);
+         /* Do you think this is necessary?  */
+         if (XMARKER (obj)->insertion_type != 0)
+           strout ("(moves after insertion) ", -1, -1, printcharfun, 0);
+         if (! XMARKER (obj)->buffer)
+           strout ("in no buffer", -1, -1, printcharfun, 0);
+         else
+           {
+             sprintf (buf, "at %d", marker_position (obj));
+             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, -1, printcharfun, 0);
+         if (! XMARKER (OVERLAY_START (obj))->buffer)
+           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, -1, printcharfun, 0);
+             print_string (XMARKER (OVERLAY_START (obj))->buffer->name,
+                           printcharfun);
+           }
+         PRINTCHAR ('>');
+         break;
+
+      /* 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, -1, printcharfun, 0);
+         break;
+
+       case Lisp_Misc_Intfwd:
+         sprintf (buf, "#<intfwd to %ld>", (long) *XINTFWD (obj)->intvar);
+         strout (buf, -1, -1, printcharfun, 0);
+         break;
+
+       case Lisp_Misc_Boolfwd:
+         sprintf (buf, "#<boolfwd to %s>",
+                  (*XBOOLFWD (obj)->boolvar ? "t" : "nil"));
+         strout (buf, -1, -1, printcharfun, 0);
+         break;
+
+       case Lisp_Misc_Objfwd:
+         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, -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, -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, -1, printcharfun, 0);
+         goto do_buffer_local;
+       case Lisp_Misc_Some_Buffer_Local_Value:
+         strout ("#<some_buffer_local_value ", -1, -1, printcharfun, 0);
+       do_buffer_local:
+         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;
 
-#endif /* standalone */
+       case Lisp_Misc_Save_Value:
+         strout ("#<save_value ", -1, -1, printcharfun, 0);
+         sprintf(buf, "ptr=0x%08lx int=%d",
+                 (unsigned long) XSAVE_VALUE (obj)->pointer,
+                 XSAVE_VALUE (obj)->integer);
+         strout (buf, -1, -1, printcharfun, 0);
+         PRINTCHAR ('>');
+         break;
 
-    case Lisp_Subr:
-      strout ("#<subr ", -1, printcharfun);
-      strout (XSUBR (obj)->symbol_name, -1, printcharfun);
-      PRINTCHAR ('>');
+       default:
+         goto badtype;
+       }
       break;
+
+    default:
+    badtype:
+      {
+       /* We're in trouble if this happens!
+          Probably should just abort () */
+       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, -1, printcharfun, 0);
+       strout (" Save your buffers immediately and please report this bug>",
+               -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.  */
@@ -1031,82 +2197,156 @@ 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)),
-        printcharfun, 1);
+  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 ()
 {
-  staticpro (&Qprint_escape_newlines);
-  Qprint_escape_newlines = intern ("print-escape-newlines");
+  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 minibuffer line).");
+              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'.
+When the output goes in a multibyte buffer, this feature is
+enabled regardless of the value of the variable.  */);
+  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,
+              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_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);
 
   defsubr (&Sprin1);
   defsubr (&Sprin1_to_string);
+  defsubr (&Serror_message_string);
   defsubr (&Sprinc);
   defsubr (&Sprint);
   defsubr (&Sterpri);
   defsubr (&Swrite_char);
   defsubr (&Sexternal_debugging_output);
+#ifdef WITH_REDIRECT_DEBUGGING_OUTPUT
+  defsubr (&Sredirect_debugging_output);
+#endif
 
   Qexternal_debugging_output = intern ("external-debugging-output");
   staticpro (&Qexternal_debugging_output);
 
-#ifndef standalone
+  Qprint_escape_newlines = intern ("print-escape-newlines");
+  staticpro (&Qprint_escape_newlines);
+
+  Qprint_escape_multibyte = intern ("print-escape-multibyte");
+  staticpro (&Qprint_escape_multibyte);
+
+  Qprint_escape_nonascii = intern ("print-escape-nonascii");
+  staticpro (&Qprint_escape_nonascii);
+
   defsubr (&Swith_output_to_temp_buffer);
-#endif /* not standalone */
 }
+
+/* arch-tag: bc797170-94ae-41de-86e3-75e20f8f7a39
+   (do not change this comment) */