]> code.delx.au - gnu-emacs/blobdiff - src/lread.c
(vertical-centering-font-regexp): New
[gnu-emacs] / src / lread.c
index af7a0153b02c4682971e675b52716e698602e6b9..5e3ae083c460125cb4993da493c4f7f757c9013d 100644 (file)
@@ -1,6 +1,6 @@
 /* Lisp parsing and input streams.
-   Copyright (C) 1985, 1986, 1987, 1988, 1989,
-   1993 Free Software Foundation, Inc.
+   Copyright (C) 1985, 86, 87, 88, 89, 93, 94, 95, 97, 98, 1999
+      Free Software Foundation, Inc.
 
 This file is part of GNU Emacs.
 
@@ -16,20 +16,23 @@ 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., 59 Temple Place - Suite 330,
+Boston, MA 02111-1307, USA.  */
 
 
+#include <config.h>
 #include <stdio.h>
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <sys/file.h>
-#include <ctype.h>
-#include <config.h>
+#include <errno.h>
 #include "lisp.h"
+#include "intervals.h"
 
 #ifndef standalone
 #include "buffer.h"
-#include <paths.h>
+#include "charset.h"
+#include <epaths.h>
 #include "commands.h"
 #include "keyboard.h"
 #include "termhooks.h"
@@ -39,63 +42,150 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
 #include <sys/inode.h>
 #endif /* lint */
 
+#ifdef MSDOS
+#if __DJGPP__ < 2
+#include <unistd.h>    /* to get X_OK */
+#endif
+#include "msdos.h"
+#endif
+
+#ifdef HAVE_UNISTD_H
+#include <unistd.h>
+#endif
+
 #ifndef X_OK
 #define X_OK 01
 #endif
 
 #ifdef LISP_FLOAT_TYPE
-#ifdef STDC_HEADERS
-#include <stdlib.h>
-#endif
+#include <math.h>
+#endif /* LISP_FLOAT_TYPE */
 
-#if 0 /* That is untrue--XINT is used below, and it uses INTBITS.
-        What in the world is values.h, anyway?  */
-#ifdef MSDOS
-/* These are redefined in <values.h> and not used here */
-#undef INTBITS
-#undef LONGBITS
-#undef SHORTBITS
+#ifdef HAVE_SETLOCALE
+#include <locale.h>
+#endif /* HAVE_SETLOCALE */
+
+#ifndef O_RDONLY
+#define O_RDONLY 0
 #endif
+
+#ifdef HAVE_FTELLO
+#define file_offset off_t
+#define file_tell ftello
+#else
+#define file_offset long
+#define file_tell ftell
 #endif
 
-#include <math.h>
-#endif /* LISP_FLOAT_TYPE */
+extern int errno;
 
 Lisp_Object Qread_char, Qget_file_char, Qstandard_input, Qcurrent_load_list;
 Lisp_Object Qvariable_documentation, Vvalues, Vstandard_input, Vafter_load_alist;
-Lisp_Object Qascii_character, Qload;
+Lisp_Object Qascii_character, Qload, Qload_file_name;
+Lisp_Object Qbackquote, Qcomma, Qcomma_at, Qcomma_dot, Qfunction;
+Lisp_Object Qinhibit_file_name_operation;
 
 extern Lisp_Object Qevent_symbol_element_mask;
+extern Lisp_Object Qfile_exists_p;
 
 /* non-zero if inside `load' */
 int load_in_progress;
 
+/* Directory in which the sources were found.  */
+Lisp_Object Vsource_directory;
+
 /* Search path for files to be loaded. */
 Lisp_Object Vload_path;
 
+/* File name of user's init file.  */
+Lisp_Object Vuser_init_file;
+
 /* This is the user-visible association list that maps features to
    lists of defs in their load files. */
 Lisp_Object Vload_history;
 
-/* This is useud to build the load history. */
+/* This is used to build the load history. */
 Lisp_Object Vcurrent_load_list;
 
+/* List of files that were preloaded.  */
+Lisp_Object Vpreloaded_file_list;
+
+/* Name of file actually being read by `load'.  */
+Lisp_Object Vload_file_name;
+
+/* Function to use for reading, in `load' and friends.  */
+Lisp_Object Vload_read_function;
+
+/* The association list of objects read with the #n=object form.
+   Each member of the list has the form (n . object), and is used to
+   look up the object for the corresponding #n# construct.
+   It must be set to nil before all top-level calls to read0.  */
+Lisp_Object read_objects;
+
+/* Nonzero means load should forcibly load all dynamic doc strings.  */
+static int load_force_doc_strings;
+
+/* Nonzero means read should convert strings to unibyte.  */
+static int load_convert_to_unibyte;
+
+/* Function to use for loading an Emacs lisp source file (not
+   compiled) instead of readevalloop.  */
+Lisp_Object Vload_source_file_function;
+
+/* List of all DEFVAR_BOOL variables.  Used by the byte optimizer.  */
+Lisp_Object Vbyte_boolean_vars;
+
 /* List of descriptors now open for Fload.  */
 static Lisp_Object load_descriptor_list;
 
-/* File for get_file_char to read from.  Use by load */
+/* File for get_file_char to read from.  Use by load */
 static FILE *instream;
 
 /* When nonzero, read conses in pure space */
 static int read_pure;
 
-/* For use within read-from-string (this reader is non-reentrant!!) */
+/* For use within read-from-string (this reader is non-reentrant!!)  */
 static int read_from_string_index;
+static int read_from_string_index_byte;
 static int read_from_string_limit;
+
+/* Number of bytes left to read in the buffer character
+   that `readchar' has already advanced over.  */
+static int readchar_backlog;
+
+/* This contains the last string skipped with #@.  */
+static char *saved_doc_string;
+/* Length of buffer allocated in saved_doc_string.  */
+static int saved_doc_string_size;
+/* Length of actual data in saved_doc_string.  */
+static int saved_doc_string_length;
+/* This is the file position that string came from.  */
+static file_offset saved_doc_string_position;
+
+/* This contains the previous string skipped with #@.
+   We copy it from saved_doc_string when a new string
+   is put in saved_doc_string.  */
+static char *prev_saved_doc_string;
+/* Length of buffer allocated in prev_saved_doc_string.  */
+static int prev_saved_doc_string_size;
+/* Length of actual data in prev_saved_doc_string.  */
+static int prev_saved_doc_string_length;
+/* This is the file position that string came from.  */
+static file_offset prev_saved_doc_string_position;
+
+/* Nonzero means inside a new-style backquote
+   with no surrounding parentheses.
+   Fread initializes this to zero, so we need not specbind it
+   or worry about what happens to it when there is an error.  */
+static int new_backquote_flag;
 \f
 /* Handle unreading and rereading of characters.
    Write READCHAR to read a character,
-   UNREAD(c) to unread c to be read again. */
+   UNREAD(c) to unread c to be read again.
+
+   These macros actually read/unread a byte code, multibyte characters
+   are not handled here.  The caller should manage them if necessary.
+ */
 
 #define READCHAR readchar (readcharfun)
 #define UNREAD(c) unreadchar (readcharfun, c)
@@ -105,48 +195,111 @@ readchar (readcharfun)
      Lisp_Object readcharfun;
 {
   Lisp_Object tem;
-  register struct buffer *inbuffer;
-  register int c, mpos;
+  register int c;
 
-  if (XTYPE (readcharfun) == Lisp_Buffer)
+  if (BUFFERP (readcharfun))
     {
-      inbuffer = XBUFFER (readcharfun);
+      register struct buffer *inbuffer = XBUFFER (readcharfun);
+
+      int pt_byte = BUF_PT_BYTE (inbuffer);
+      int orig_pt_byte = pt_byte;
 
-      if (BUF_PT (inbuffer) >= BUF_ZV (inbuffer))
+      if (readchar_backlog > 0)
+       /* We get the address of the byte just passed,
+          which is the last byte of the character.
+          The other bytes in this character are consecutive with it,
+          because the gap can't be in the middle of a character.  */
+       return *(BUF_BYTE_ADDRESS (inbuffer, BUF_PT_BYTE (inbuffer) - 1)
+                - --readchar_backlog);
+
+      if (pt_byte >= BUF_ZV_BYTE (inbuffer))
        return -1;
-      c = *(unsigned char *) BUF_CHAR_ADDRESS (inbuffer, BUF_PT (inbuffer));
-      SET_BUF_PT (inbuffer, BUF_PT (inbuffer) + 1);
+
+      readchar_backlog = -1;
+
+      if (! NILP (inbuffer->enable_multibyte_characters))
+       {
+         /* Fetch the character code from the buffer.  */
+         unsigned char *p = BUF_BYTE_ADDRESS (inbuffer, pt_byte);
+         BUF_INC_POS (inbuffer, pt_byte);
+         c = STRING_CHAR (p, pt_byte - orig_pt_byte);
+       }
+      else
+       {
+         c = BUF_FETCH_BYTE (inbuffer, pt_byte);
+         pt_byte++;
+       }
+      SET_BUF_PT_BOTH (inbuffer, BUF_PT (inbuffer) + 1, pt_byte);
 
       return c;
     }
-  if (XTYPE (readcharfun) == Lisp_Marker)
+  if (MARKERP (readcharfun))
     {
-      inbuffer = XMARKER (readcharfun)->buffer;
+      register struct buffer *inbuffer = XMARKER (readcharfun)->buffer;
 
-      mpos = marker_position (readcharfun);
+      int bytepos = marker_byte_position (readcharfun);
+      int orig_bytepos = bytepos;
 
-      if (mpos > BUF_ZV (inbuffer) - 1)
+      if (readchar_backlog > 0)
+       /* We get the address of the byte just passed,
+          which is the last byte of the character.
+          The other bytes in this character are consecutive with it,
+          because the gap can't be in the middle of a character.  */
+       return *(BUF_BYTE_ADDRESS (inbuffer, XMARKER (readcharfun)->bytepos - 1)
+                - --readchar_backlog);
+
+      if (bytepos >= BUF_ZV_BYTE (inbuffer))
        return -1;
-      c = *(unsigned char *) BUF_CHAR_ADDRESS (inbuffer, mpos);
-      if (mpos != BUF_GPT (inbuffer))
-       XMARKER (readcharfun)->bufpos++;
+
+      readchar_backlog = -1;
+
+      if (! NILP (inbuffer->enable_multibyte_characters))
+       {
+         /* Fetch the character code from the buffer.  */
+         unsigned char *p = BUF_BYTE_ADDRESS (inbuffer, bytepos);
+         BUF_INC_POS (inbuffer, bytepos);
+         c = STRING_CHAR (p, bytepos - orig_bytepos);
+       }
       else
-       Fset_marker (readcharfun, make_number (mpos + 1),
-                    Fmarker_buffer (readcharfun));
+       {
+         c = BUF_FETCH_BYTE (inbuffer, bytepos);
+         bytepos++;
+       }
+
+      XMARKER (readcharfun)->bytepos = bytepos;
+      XMARKER (readcharfun)->charpos++;
+
       return c;
     }
+
+  if (EQ (readcharfun, Qlambda))
+    return read_bytecode_char (0);
+
   if (EQ (readcharfun, Qget_file_char))
-    return getc (instream);
+    {
+      c = getc (instream);
+#ifdef EINTR
+      /* Interrupted reads have been observed while reading over the network */
+      while (c == EOF && ferror (instream) && errno == EINTR)
+       {
+         clearerr (instream);
+         c = getc (instream);
+       }
+#endif
+      return c;
+    }
 
-  if (XTYPE (readcharfun) == Lisp_String)
+  if (STRINGP (readcharfun))
     {
-      register int c;
-      /* This used to be return of a conditional expression,
-        but that truncated -1 to a char on VMS.  */
-      if (read_from_string_index < read_from_string_limit)
-       c = XSTRING (readcharfun)->data[read_from_string_index++];
-      else
+      if (read_from_string_index >= read_from_string_limit)
        c = -1;
+      else if (STRING_MULTIBYTE (readcharfun))
+       FETCH_STRING_CHAR_ADVANCE (c, readcharfun,
+                                  read_from_string_index,
+                                  read_from_string_index_byte);
+      else
+       c = XSTRING (readcharfun)->data[read_from_string_index++];
+
       return c;
     }
 
@@ -165,17 +318,54 @@ unreadchar (readcharfun, c)
      Lisp_Object readcharfun;
      int c;
 {
-  if (XTYPE (readcharfun) == Lisp_Buffer)
+  if (c == -1)
+    /* Don't back up the pointer if we're unreading the end-of-input mark,
+       since readchar didn't advance it when we read it.  */
+    ;
+  else if (BUFFERP (readcharfun))
     {
-      if (XBUFFER (readcharfun) == current_buffer)
-       SET_PT (point - 1);
+      struct buffer *b = XBUFFER (readcharfun);
+      int bytepos = BUF_PT_BYTE (b);
+
+      if (readchar_backlog >= 0)
+       readchar_backlog++;
       else
-       SET_BUF_PT (XBUFFER (readcharfun), BUF_PT (XBUFFER (readcharfun)) - 1);
+       {
+         BUF_PT (b)--;
+         if (! NILP (b->enable_multibyte_characters))
+           BUF_DEC_POS (b, bytepos);
+         else
+           bytepos--;
+
+         BUF_PT_BYTE (b) = bytepos;
+       }
+    }
+  else if (MARKERP (readcharfun))
+    {
+      struct buffer *b = XMARKER (readcharfun)->buffer;
+      int bytepos = XMARKER (readcharfun)->bytepos;
+
+      if (readchar_backlog >= 0)
+       readchar_backlog++;
+      else
+       {
+         XMARKER (readcharfun)->charpos--;
+         if (! NILP (b->enable_multibyte_characters))
+           BUF_DEC_POS (b, bytepos);
+         else
+           bytepos--;
+
+         XMARKER (readcharfun)->bytepos = bytepos;
+       }
+    }
+  else if (STRINGP (readcharfun))
+    {
+      read_from_string_index--;
+      read_from_string_index_byte
+       = string_char_to_byte (readcharfun, read_from_string_index);
     }
-  else if (XTYPE (readcharfun) == Lisp_Marker)
-    XMARKER (readcharfun)->bufpos--;
-  else if (XTYPE (readcharfun) == Lisp_String)
-    read_from_string_index--;
+  else if (EQ (readcharfun, Qlambda))
+    read_bytecode_char (1);
   else if (EQ (readcharfun, Qget_file_char))
     ungetc (c, instream);
   else
@@ -183,8 +373,12 @@ unreadchar (readcharfun, c)
 }
 
 static Lisp_Object read0 (), read1 (), read_list (), read_vector ();
+static int read_multibyte ();
+static Lisp_Object substitute_object_recurse ();
+static void        substitute_object_in_subtree (), substitute_in_interval ();
+
 \f
-/* get a character from the tty */
+/* Get a character from the tty.  */
 
 extern Lisp_Object read_char ();
 
@@ -201,26 +395,34 @@ extern Lisp_Object read_char ();
    If ERROR_NONASCII is non-zero, we signal an error if the input we
    get isn't an ASCII character with modifiers.  If it's zero but
    ASCII_REQUIRED is non-zero, we just re-read until we get an ASCII
-   character.  */
+   character.
+
+   If INPUT_METHOD is nonzero, we invoke the current input method
+   if the character warrants that.  */
+
 Lisp_Object
-read_filtered_event (no_switch_frame, ascii_required, error_nonascii)
-     int no_switch_frame, ascii_required, error_nonascii;
+read_filtered_event (no_switch_frame, ascii_required, error_nonascii,
+                    input_method)
+     int no_switch_frame, ascii_required, error_nonascii, input_method;
 {
 #ifdef standalone
   return make_number (getchar ());
 #else
-  register Lisp_Object val;
-  register Lisp_Object delayed_switch_frame = Qnil;
+  register Lisp_Object val, delayed_switch_frame;
+
+  delayed_switch_frame = Qnil;
 
   /* Read until we get an acceptable event.  */
  retry:
-  val = read_char (0, 0, 0, Qnil, 0);
+  val = read_char (0, 0, 0,
+                  (input_method ? Qnil : Qt),
+                  0);
 
-  if (XTYPE (val) == Lisp_Buffer)
+  if (BUFFERP (val))
     goto retry;
 
   /* switch-frame events are put off until after the next ASCII
-     character.  This is better than signalling an error just because
+     character.  This is better than signaling an error just because
      the last characters were typed to a separate minibuffer frame,
      for example.  Eventually, some code which can deal with
      switch-frame events will read it and process it.  */
@@ -235,9 +437,9 @@ read_filtered_event (no_switch_frame, ascii_required, error_nonascii)
   if (ascii_required)
     {
       /* Convert certain symbols to their ASCII equivalents.  */
-      if (XTYPE (val) == Lisp_Symbol)
+      if (SYMBOLP (val))
        {
-         Lisp_Object tem, tem1, tem2;
+         Lisp_Object tem, tem1;
          tem = Fget (val, Qevent_symbol_element_mask);
          if (!NILP (tem))
            {
@@ -245,16 +447,16 @@ read_filtered_event (no_switch_frame, ascii_required, error_nonascii)
              /* Merge this symbol's modifier bits
                 with the ASCII equivalent of its basic code.  */
              if (!NILP (tem1))
-               XFASTINT (val) = XINT (tem1) | XINT (Fcar (Fcdr (tem)));
+               XSETFASTINT (val, XINT (tem1) | XINT (Fcar (Fcdr (tem))));
            }
        }
          
       /* If we don't have a character now, deal with it appropriately.  */
-      if (XTYPE (val) != Lisp_Int)
+      if (!INTEGERP (val))
        {
          if (error_nonascii)
            {
-             unread_command_events = Fcons (val, Qnil);
+             Vunread_command_events = Fcons (val, Qnil);
              error ("Non-character input-event");
            }
          else
@@ -269,7 +471,7 @@ read_filtered_event (no_switch_frame, ascii_required, error_nonascii)
 #endif
 }
 
-DEFUN ("read-char", Fread_char, Sread_char, 0, 0, 0,
+DEFUN ("read-char", Fread_char, Sread_char, 0, 2, 0,
   "Read a character from the command input (keyboard or macro).\n\
 It is returned as a number.\n\
 If the user generates an event which is not a character (i.e. a mouse\n\
@@ -277,25 +479,48 @@ click or function key event), `read-char' signals an error.  As an\n\
 exception, switch-frame events are put off until non-ASCII events can\n\
 be read.\n\
 If you want to read non-character events, or ignore them, call\n\
-`read-event' or `read-char-exclusive' instead.")
-  ()
+`read-event' or `read-char-exclusive' instead.\n\
+\n\
+If the optional argument PROMPT is non-nil, display that as a prompt.\n\
+If the optional argument INHERIT-INPUT-METHOD is non-nil and some\n\
+input method is turned on in the current buffer, that input method\n\
+is used for reading a character.")
+  (prompt, inherit_input_method)
+     Lisp_Object prompt, inherit_input_method;
 {
-  return read_filtered_event (1, 1, 1);
+  if (! NILP (prompt))
+    message_with_string ("%s", prompt, 0);
+  return read_filtered_event (1, 1, 1, ! NILP (inherit_input_method));
 }
 
-DEFUN ("read-event", Fread_event, Sread_event, 0, 0, 0,
-  "Read an event object from the input stream.")
-  ()
+DEFUN ("read-event", Fread_event, Sread_event, 0, 2, 0,
+  "Read an event object from the input stream.\n\
+If the optional argument PROMPT is non-nil, display that as a prompt.\n\
+If the optional argument INHERIT-INPUT-METHOD is non-nil and some\n\
+input method is turned on in the current buffer, that input method\n\
+is used for reading a character.")
+  (prompt, inherit_input_method)
+     Lisp_Object prompt, inherit_input_method;
 {
-  return read_filtered_event (0, 0, 0);
+  if (! NILP (prompt))
+    message_with_string ("%s", prompt, 0);
+  return read_filtered_event (0, 0, 0, ! NILP (inherit_input_method));
 }
 
-DEFUN ("read-char-exclusive", Fread_char_exclusive, Sread_char_exclusive, 0, 0, 0,
+DEFUN ("read-char-exclusive", Fread_char_exclusive, Sread_char_exclusive, 0, 2, 0,
   "Read a character from the command input (keyboard or macro).\n\
-It is returned as a number.  Non character events are ignored.")
-  ()
+It is returned as a number.  Non-character events are ignored.\n\
+\n\
+If the optional argument PROMPT is non-nil, display that as a prompt.\n\
+If the optional argument INHERIT-INPUT-METHOD is non-nil and some\n\
+input method is turned on in the current buffer, that input method\n\
+is used for reading a character.")
+  (prompt, inherit_input_method)
+     Lisp_Object prompt, inherit_input_method;
 {
-  return read_filtered_event (1, 1, 0);
+  if (! NILP (prompt))
+    message_with_string ("%s", prompt, 0);
+  return read_filtered_event (1, 1, 0, ! NILP (inherit_input_method));
 }
 
 DEFUN ("get-file-char", Fget_file_char, Sget_file_char, 0, 0, 0,
@@ -303,7 +528,7 @@ DEFUN ("get-file-char", Fget_file_char, Sget_file_char, 0, 0, 0,
   ()
 {
   register Lisp_Object val;
-  XSET (val, Lisp_Int, getc (instream));
+  XSETINT (val, getc (instream));
   return val;
 }
 \f
@@ -311,7 +536,7 @@ static void readevalloop ();
 static Lisp_Object load_unwind ();
 static Lisp_Object load_descriptor_unwind ();
 
-DEFUN ("load", Fload, Sload, 1, 4, 0,
+DEFUN ("load", Fload, Sload, 1, 5, 0,
   "Execute a file of Lisp code named FILE.\n\
 First try FILE with `.elc' appended, then try with `.el',\n\
  then try FILE unmodified.\n\
@@ -322,39 +547,69 @@ Print messages at start and end of loading unless\n\
  optional third arg NOMESSAGE is non-nil.\n\
 If optional fourth arg NOSUFFIX is non-nil, don't try adding\n\
  suffixes `.elc' or `.el' to the specified name FILE.\n\
+If optional fifth arg MUST-SUFFIX is non-nil, insist on\n\
+ the suffix `.elc' or `.el'; don't accept just FILE unless\n\
+ it ends in one of those suffixes or includes a directory name.\n\
 Return t if file exists.")
-  (str, noerror, nomessage, nosuffix)
-     Lisp_Object str, noerror, nomessage, nosuffix;
+  (file, noerror, nomessage, nosuffix, must_suffix)
+     Lisp_Object file, noerror, nomessage, nosuffix, must_suffix;
 {
   register FILE *stream;
   register int fd = -1;
   register Lisp_Object lispstream;
-  register FILE **ptr;
   int count = specpdl_ptr - specpdl;
   Lisp_Object temp;
   struct gcpro gcpro1;
   Lisp_Object found;
-  /* 1 means inhibit the message at the beginning.  */
-  int nomessage1 = 0;
+  /* 1 means we printed the ".el is newer" message.  */
+  int newer = 0;
+  /* 1 means we are loading a compiled file.  */
+  int compiled = 0;
   Lisp_Object handler;
-#ifdef MSDOS
-  char *dosmode = "rt";
-#endif
+  char *fmode = "r";
+#ifdef DOS_NT
+  fmode = "rt";
+#endif /* DOS_NT */
 
-  CHECK_STRING (str, 0);
-  str = Fsubstitute_in_file_name (str);
+  CHECK_STRING (file, 0);
 
   /* If file name is magic, call the handler.  */
-  handler = Ffind_file_name_handler (str);
+  handler = Ffind_file_name_handler (file, Qload);
   if (!NILP (handler))
-    return call5 (handler, Qload, str, noerror, nomessage, nosuffix);
+    return call5 (handler, Qload, file, noerror, nomessage, nosuffix);
+
+  /* Do this after the handler to avoid
+     the need to gcpro noerror, nomessage and nosuffix.
+     (Below here, we care only whether they are nil or not.)  */
+  file = Fsubstitute_in_file_name (file);
 
   /* Avoid weird lossage with null string as arg,
      since it would try to load a directory as a Lisp file */
-  if (XSTRING (str)->size > 0)
+  if (XSTRING (file)->size > 0)
     {
-      GCPRO1 (str);
-      fd = openp (Vload_path, str, !NILP (nosuffix) ? "" : ".elc:.el:",
+      int size = STRING_BYTES (XSTRING (file));
+
+      GCPRO1 (file);
+
+      if (! NILP (must_suffix))
+       {
+         /* Don't insist on adding a suffix if FILE already ends with one.  */
+         if (size > 3
+             && !strcmp (XSTRING (file)->data + size - 3, ".el"))
+           must_suffix = Qnil;
+         else if (size > 4
+                  && !strcmp (XSTRING (file)->data + size - 4, ".elc"))
+           must_suffix = Qnil;
+         /* Don't insist on adding a suffix
+            if the argument includes a directory name.  */
+         else if (! NILP (Ffile_name_directory (file)))
+           must_suffix = Qnil;
+       }
+
+      fd = openp (Vload_path, file,
+                 (!NILP (nosuffix) ? ""
+                  : ! NILP (must_suffix) ? ".elc:.el"
+                  : ".elc:.el:"),
                  &found, 0);
       UNGCPRO;
     }
@@ -364,72 +619,136 @@ Return t if file exists.")
       if (NILP (noerror))
        while (1)
          Fsignal (Qfile_error, Fcons (build_string ("Cannot open load file"),
-                                      Fcons (str, Qnil)));
+                                      Fcons (file, Qnil)));
       else
        return Qnil;
     }
 
-  if (!bcmp (&(XSTRING (found)->data[XSTRING (found)->size - 4]),
-            ".elc", 4))
+  if (EQ (Qt, Vuser_init_file))
+    Vuser_init_file = found;
+
+  /* If FD is 0, that means openp found a magic file.  */
+  if (fd == 0)
+    {
+      if (NILP (Fequal (found, file)))
+       /* If FOUND is a different file name from FILE,
+          find its handler even if we have already inhibited
+          the `load' operation on FILE.  */
+       handler = Ffind_file_name_handler (found, Qt);
+      else
+       handler = Ffind_file_name_handler (found, Qload);
+      if (! NILP (handler))
+       return call5 (handler, Qload, found, noerror, nomessage, Qt);
+    }
+
+  /* Load .elc files directly, but not when they are
+     remote and have no handler!  */
+  if (!bcmp (&(XSTRING (found)->data[STRING_BYTES (XSTRING (found)) - 4]),
+            ".elc", 4)
+      && fd != 0)
     {
       struct stat s1, s2;
       int result;
 
-#ifdef MSDOS
-      dosmode = "rb";
-#endif
+      compiled = 1;
+
+#ifdef DOS_NT
+      fmode = "rb";
+#endif /* DOS_NT */
       stat ((char *)XSTRING (found)->data, &s1);
-      XSTRING (found)->data[XSTRING (found)->size - 1] = 0;
+      XSTRING (found)->data[STRING_BYTES (XSTRING (found)) - 1] = 0;
       result = stat ((char *)XSTRING (found)->data, &s2);
       if (result >= 0 && (unsigned) s1.st_mtime < (unsigned) s2.st_mtime)
        {
-         message ("Source file `%s' newer than byte-compiled file",
-                  XSTRING (found)->data);
-         /* Don't immediately overwrite this message.  */
-         if (!noninteractive)
-           nomessage1 = 1;
+         /* Make the progress messages mention that source is newer.  */
+         newer = 1;
+
+         /* If we won't print another message, mention this anyway.  */
+         if (! NILP (nomessage))
+           message_with_string ("Source file `%s' newer than byte-compiled file",
+                                found, 1);
+       }
+      XSTRING (found)->data[STRING_BYTES (XSTRING (found)) - 1] = 'c';
+    }
+  else
+    {
+      /* We are loading a source file (*.el).  */
+      if (!NILP (Vload_source_file_function))
+       {
+         if (fd != 0)
+           emacs_close (fd);
+         return call4 (Vload_source_file_function, found, file,
+                       NILP (noerror) ? Qnil : Qt,
+                       NILP (nomessage) ? Qnil : Qt);
        }
-      XSTRING (found)->data[XSTRING (found)->size - 1] = 'c';
     }
 
-#ifdef MSDOS
-  close (fd);
-  stream = fopen ((char *) XSTRING (found)->data, dosmode);
-#else
-  stream = fdopen (fd, "r");
-#endif
+#ifdef WINDOWSNT
+  emacs_close (fd);
+  stream = fopen ((char *) XSTRING (found)->data, fmode);
+#else  /* not WINDOWSNT */
+  stream = fdopen (fd, fmode);
+#endif /* not WINDOWSNT */
   if (stream == 0)
     {
-      close (fd);
-      error ("Failure to create stdio stream for %s", XSTRING (str)->data);
+      emacs_close (fd);
+      error ("Failure to create stdio stream for %s", XSTRING (file)->data);
     }
 
-  if (NILP (nomessage) && !nomessage1)
-    message ("Loading %s...", XSTRING (str)->data);
+  if (! NILP (Vpurify_flag))
+    Vpreloaded_file_list = Fcons (file, Vpreloaded_file_list);
 
-  GCPRO1 (str);
-  /* We may not be able to store STREAM itself as a Lisp_Object pointer
-     since that is guaranteed to work only for data that has been malloc'd.
-     So malloc a full-size pointer, and record the address of that pointer.  */
-  ptr = (FILE **) xmalloc (sizeof (FILE *));
-  *ptr = stream;
-  XSET (lispstream, Lisp_Internal_Stream, (int) ptr);
+  if (NILP (nomessage))
+    {
+      if (!compiled)
+       message_with_string ("Loading %s (source)...", file, 1);
+      else if (newer)
+       message_with_string ("Loading %s (compiled; note, source file is newer)...",
+                file, 1);
+      else /* The typical case; compiled file newer than source file.  */
+       message_with_string ("Loading %s...", file, 1);
+    }
+
+  GCPRO1 (file);
+  lispstream = Fcons (Qnil, Qnil);
+  XSETFASTINT (XCAR (lispstream), (EMACS_UINT)stream >> 16);
+  XSETFASTINT (XCDR (lispstream), (EMACS_UINT)stream & 0xffff);
   record_unwind_protect (load_unwind, lispstream);
   record_unwind_protect (load_descriptor_unwind, load_descriptor_list);
+  specbind (Qload_file_name, found);
+  specbind (Qinhibit_file_name_operation, Qnil);
   load_descriptor_list
     = Fcons (make_number (fileno (stream)), load_descriptor_list);
   load_in_progress++;
-  readevalloop (Qget_file_char, stream, str, Feval, 0);
+  readevalloop (Qget_file_char, stream, file, Feval, 0, Qnil, Qnil);
   unbind_to (count, Qnil);
 
   /* Run any load-hooks for this file.  */
-  temp = Fassoc (str, Vafter_load_alist);
+  temp = Fassoc (file, Vafter_load_alist);
   if (!NILP (temp))
     Fprogn (Fcdr (temp));
   UNGCPRO;
 
+  if (saved_doc_string)
+    free (saved_doc_string);
+  saved_doc_string = 0;
+  saved_doc_string_size = 0;
+
+  if (prev_saved_doc_string)
+    free (prev_saved_doc_string);
+  prev_saved_doc_string = 0;
+  prev_saved_doc_string_size = 0;
+
   if (!noninteractive && NILP (nomessage))
-    message ("Loading %s...done", XSTRING (str)->data);
+    {
+      if (!compiled)
+       message_with_string ("Loading %s (source)...done", file, 1);
+      else if (newer)
+       message_with_string ("Loading %s (compiled; note, source file is newer)...done",
+                file, 1);
+      else /* The typical case; compiled file newer than source file.  */
+       message_with_string ("Loading %s...done", file, 1);
+    }
   return Qt;
 }
 
@@ -437,8 +756,8 @@ static Lisp_Object
 load_unwind (stream)  /* used as unwind-protect function in load */
      Lisp_Object stream;
 {
-  fclose (*(FILE **) XSTRING (stream));
-  xfree (XPNTR (stream));
+  fclose ((FILE *) (XFASTINT (XCAR (stream)) << 16
+                   | XFASTINT (XCDR (stream))));
   if (--load_in_progress < 0) load_in_progress = 0;
   return Qnil;
 }
@@ -448,6 +767,7 @@ load_descriptor_unwind (oldlist)
      Lisp_Object oldlist;
 {
   load_descriptor_list = oldlist;
+  return Qnil;
 }
 
 /* Close all descriptors in use for Floads.
@@ -456,9 +776,11 @@ load_descriptor_unwind (oldlist)
 void
 close_load_descs ()
 {
+#ifndef WINDOWSNT
   Lisp_Object tail;
-  for (tail = load_descriptor_list; !NILP (tail); tail = XCONS (tail)->cdr)
-    close (XFASTINT (XCONS (tail)->car));
+  for (tail = load_descriptor_list; !NILP (tail); tail = XCDR (tail))
+    emacs_close (XFASTINT (XCAR (tail)));
+#endif
 }
 \f
 static int
@@ -466,16 +788,15 @@ complete_filename_p (pathname)
      Lisp_Object pathname;
 {
   register unsigned char *s = XSTRING (pathname)->data;
-  return (*s == '/'
+  return (IS_DIRECTORY_SEP (s[0])
+         || (XSTRING (pathname)->size > 2
+             && IS_DEVICE_SEP (s[1]) && IS_DIRECTORY_SEP (s[2]))
 #ifdef ALTOS
          || *s == '@'
 #endif
 #ifdef VMS
          || index (s, ':')
 #endif /* VMS */
-#ifdef MSDOS   /* MW, May 1993 */
-         || (s[0] != '\0' && s[1] == ':' && s[2] == '/')
-#endif
          );
 }
 
@@ -490,7 +811,11 @@ complete_filename_p (pathname)
 
    If STOREPTR is nonzero, it points to a slot where the name of
    the file actually found should be stored as a Lisp string.
-   Nil is stored there on failure.  */
+   nil is stored there on failure.
+
+   If the file we find is remote, return 0
+   but store the found remote file name in *STOREPTR.
+   We do not check for remote files if EXEC_ONLY is nonzero.  */
 
 int
 openp (path, str, suffix, storeptr, exec_only)
@@ -505,7 +830,7 @@ openp (path, str, suffix, storeptr, exec_only)
   register char *fn = buf;
   int absolute = 0;
   int want_size;
-  register Lisp_Object filename;
+  Lisp_Object filename;
   struct stat st;
   struct gcpro gcpro1;
 
@@ -534,7 +859,7 @@ openp (path, str, suffix, storeptr, exec_only)
 
       /* Calculate maximum size of any filename made from
         this path element/specified file name and any possible suffix.  */
-      want_size = strlen (suffix) + XSTRING (filename)->size + 1;
+      want_size = strlen (suffix) + STRING_BYTES (XSTRING (filename)) + 1;
       if (fn_size < want_size)
        fn = (char *) alloca (fn_size = 100 + want_size);
 
@@ -545,29 +870,74 @@ openp (path, str, suffix, storeptr, exec_only)
        {
          char *esuffix = (char *) index (nsuffix, ':');
          int lsuffix = esuffix ? esuffix - nsuffix : strlen (nsuffix);
+         Lisp_Object handler;
+
+         /* Concatenate path element/specified name with the suffix.
+            If the directory starts with /:, remove that.  */
+         if (XSTRING (filename)->size > 2
+             && XSTRING (filename)->data[0] == '/'
+             && XSTRING (filename)->data[1] == ':')
+           {
+             strncpy (fn, XSTRING (filename)->data + 2,
+                      STRING_BYTES (XSTRING (filename)) - 2);
+             fn[STRING_BYTES (XSTRING (filename)) - 2] = 0;
+           }
+         else
+           {
+             strncpy (fn, XSTRING (filename)->data,
+                      STRING_BYTES (XSTRING (filename)));
+             fn[STRING_BYTES (XSTRING (filename))] = 0;
+           }
 
-         /* Concatenate path element/specified name with the suffix.  */
-         strncpy (fn, XSTRING (filename)->data, XSTRING (filename)->size);
-         fn[XSTRING (filename)->size] = 0;
          if (lsuffix != 0)  /* Bug happens on CCI if lsuffix is 0.  */
            strncat (fn, nsuffix, lsuffix);
 
-         /* Ignore file if it's a directory.  */
-         if (stat (fn, &st) >= 0
-             && (st.st_mode & S_IFMT) != S_IFDIR)
+         /* Check that the file exists and is not a directory.  */
+         if (absolute)
+           handler = Qnil;
+         else
+           handler = Ffind_file_name_handler (filename, Qfile_exists_p);
+         if (! NILP (handler) && ! exec_only)
            {
-             /* Check that we can access or open it.  */
-             if (exec_only)
-               fd = (access (fn, X_OK) == 0) ? 1 : -1;
-             else
-               fd = open (fn, 0, 0);
+             Lisp_Object string;
+             int exists;
+
+             string = build_string (fn);
+             exists = ! NILP (exec_only ? Ffile_executable_p (string)
+                              : Ffile_readable_p (string));
+             if (exists
+                 && ! NILP (Ffile_directory_p (build_string (fn))))
+               exists = 0;
 
-             if (fd >= 0)
+             if (exists)
                {
                  /* We succeeded; return this descriptor and filename.  */
                  if (storeptr)
                    *storeptr = build_string (fn);
-                 RETURN_UNGCPRO (fd);
+                 UNGCPRO;
+                 return 0;
+               }
+           }
+         else
+           {
+             int exists = (stat (fn, &st) >= 0
+                           && (st.st_mode & S_IFMT) != S_IFDIR);
+             if (exists)
+               {
+                 /* Check that we can access or open it.  */
+                 if (exec_only)
+                   fd = (access (fn, X_OK) == 0) ? 1 : -1;
+                 else
+                   fd = emacs_open (fn, O_RDONLY, 0);
+
+                 if (fd >= 0)
+                   {
+                     /* We succeeded; return this descriptor and filename.  */
+                     if (storeptr)
+                       *storeptr = build_string (fn);
+                     UNGCPRO;
+                     return fd;
+                   }
                }
            }
 
@@ -577,10 +947,11 @@ openp (path, str, suffix, storeptr, exec_only)
          nsuffix += lsuffix + 1;
        }
       if (absolute)
-       RETURN_UNGCPRO (-1);
+       break;
     }
 
-  RETURN_UNGCPRO (-1);
+  UNGCPRO;
+  return -1;
 }
 
 \f
@@ -597,10 +968,6 @@ build_load_history (stream, source)
   register Lisp_Object tem, tem2;
   register int foundit, loading;
 
-  /* Don't bother recording anything for preloaded files.  */
-  if (!NILP (Vpurify_flag))
-    return;
-
   loading = stream || !NARROWED;
 
   tail = Vload_history;
@@ -663,13 +1030,26 @@ unreadpure ()    /* Used as unwind-protect function in readevalloop */
   return Qnil;
 }
 
+static Lisp_Object
+readevalloop_1 (old)
+     Lisp_Object old;
+{
+  load_convert_to_unibyte = ! NILP (old);
+  return Qnil;
+}
+
+/* UNIBYTE specifies how to set load_convert_to_unibyte
+   for this invocation.
+   READFUN, if non-nil, is used instead of `read'.  */
+
 static void
-readevalloop (readcharfun, stream, sourcename, evalfun, printflag)
+readevalloop (readcharfun, stream, sourcename, evalfun, printflag, unibyte, readfun)
      Lisp_Object readcharfun;
      FILE *stream;
      Lisp_Object sourcename;
      Lisp_Object (*evalfun) ();
      int printflag;
+     Lisp_Object unibyte, readfun;
 {
   register int c;
   register Lisp_Object val;
@@ -684,6 +1064,10 @@ readevalloop (readcharfun, stream, sourcename, evalfun, printflag)
 
   specbind (Qstandard_input, readcharfun);
   specbind (Qcurrent_load_list, Qnil);
+  record_unwind_protect (readevalloop_1, load_convert_to_unibyte ? Qt : Qnil);
+  load_convert_to_unibyte = !NILP (unibyte);
+
+  readchar_backlog = -1;
 
   GCPRO1 (sourcename);
 
@@ -702,18 +1086,28 @@ readevalloop (readcharfun, stream, sourcename, evalfun, printflag)
          continue;
        }
       if (c < 0) break;
-      if (c == ' ' || c == '\t' || c == '\n' || c == '\f') continue;
+
+      /* Ignore whitespace here, so we can detect eof.  */
+      if (c == ' ' || c == '\t' || c == '\n' || c == '\f' || c == '\r')
+       continue;
 
       if (!NILP (Vpurify_flag) && c == '(')
        {
+         int count1 = specpdl_ptr - specpdl;
          record_unwind_protect (unreadpure, Qnil);
          val = read_list (-1, readcharfun);
-         unbind_to (count + 1, Qnil);
+         unbind_to (count1, Qnil);
        }
       else
        {
          UNREAD (c);
-         val = read0 (readcharfun);
+         read_objects = Qnil;
+         if (! NILP (readfun))
+           val = call1 (readfun, readcharfun);
+         else if (! NILP (Vload_read_function))
+           val = call1 (Vload_read_function, readcharfun);
+         else
+           val = read0 (readcharfun);
        }
 
       val = (*evalfun) (val);
@@ -735,43 +1129,54 @@ readevalloop (readcharfun, stream, sourcename, evalfun, printflag)
 
 #ifndef standalone
 
-DEFUN ("eval-buffer", Feval_buffer, Seval_buffer, 0, 2, "",
+DEFUN ("eval-buffer", Feval_buffer, Seval_buffer, 0, 5, "",
   "Execute the current buffer as Lisp code.\n\
 Programs can pass two arguments, BUFFER and PRINTFLAG.\n\
 BUFFER is the buffer to evaluate (nil means use current buffer).\n\
 PRINTFLAG controls printing of output:\n\
 nil means discard it; anything else is stream for print.\n\
 \n\
-If there is no error, point does not move.  If there is an error,\n\
-point remains at the end of the last character read from the buffer.")
-  (bufname, printflag)
-     Lisp_Object bufname, printflag;
+If the optional third argument FILENAME is non-nil,\n\
+it specifies the file name to use for `load-history'.\n\
+The optional fourth argument UNIBYTE specifies `load-convert-to-unibyte'\n\
+for this invocation.\n\
+\n\
+The optional fifth argument DO-ALLOW-PRINT, if not-nil, specifies that\n\
+`print' and related functions should work normally even if PRINTFLAG is nil.\n\
+\n\
+This function preserves the position of point.")
+  (buffer, printflag, filename, unibyte, do_allow_print)
+     Lisp_Object buffer, printflag, filename, unibyte, do_allow_print;
 {
   int count = specpdl_ptr - specpdl;
   Lisp_Object tem, buf;
 
-  if (NILP (bufname))
+  if (NILP (buffer))
     buf = Fcurrent_buffer ();
   else
-    buf = Fget_buffer (bufname);
+    buf = Fget_buffer (buffer);
   if (NILP (buf))
-    error ("No such buffer.");
+    error ("No such buffer");
 
-  if (NILP (printflag))
+  if (NILP (printflag) && NILP (do_allow_print))
     tem = Qsymbolp;
   else
     tem = printflag;
+
+  if (NILP (filename))
+    filename = XBUFFER (buf)->filename;
+
   specbind (Qstandard_output, tem);
   record_unwind_protect (save_excursion_restore, save_excursion_save ());
   BUF_SET_PT (XBUFFER (buf), BUF_BEGV (XBUFFER (buf)));
-  readevalloop (buf, 0, XBUFFER (buf)->filename, Feval, !NILP (printflag));
+  readevalloop (buf, 0, filename, Feval, !NILP (printflag), unibyte, Qnil);
   unbind_to (count, Qnil);
 
   return Qnil;
 }
 
 #if 0
-DEFUN ("eval-current-buffer", Feval_current_buffer, Seval_current_buffer, 0, 1, "",
+XDEFUN ("eval-current-buffer", Feval_current_buffer, Seval_current_buffer, 0, 1, "",
   "Execute the current buffer as Lisp code.\n\
 Programs can pass argument PRINTFLAG which controls printing of output:\n\
 nil means discard it; anything else is stream for print.\n\
@@ -793,23 +1198,26 @@ point remains at the end of the last character read from the buffer.")
   specbind (Qstandard_output, tem);
   record_unwind_protect (save_excursion_restore, save_excursion_save ());
   SET_PT (BEGV);
-  readevalloop (cbuf, 0, XBUFFER (cbuf)->filename, Feval, !NILP (printflag));
+  readevalloop (cbuf, 0, XBUFFER (cbuf)->filename, Feval,
+               !NILP (printflag), Qnil, Qnil);
   return unbind_to (count, Qnil);
 }
 #endif
 
-DEFUN ("eval-region", Feval_region, Seval_region, 2, 3, "r",
+DEFUN ("eval-region", Feval_region, Seval_region, 2, 4, "r",
   "Execute the region as Lisp code.\n\
 When called from programs, expects two arguments,\n\
 giving starting and ending indices in the current buffer\n\
 of the text to be executed.\n\
 Programs can pass third argument PRINTFLAG which controls output:\n\
 nil means discard it; anything else is stream for printing it.\n\
+Also the fourth argument READ-FUNCTION, if non-nil, is used\n\
+instead of `read' to read each expression.  It gets one argument\n\
+which is the input stream for reading characters.\n\
 \n\
-If there is no error, point does not move.  If there is an error,\n\
-point remains at the end of the last character read from the buffer.")
-  (b, e, printflag)
-     Lisp_Object b, e, printflag;
+This function does not move point.")
+  (start, end, printflag, read_function)
+     Lisp_Object start, end, printflag, read_function;
 {
   int count = specpdl_ptr - specpdl;
   Lisp_Object tem, cbuf;
@@ -826,10 +1234,11 @@ point remains at the end of the last character read from the buffer.")
     record_unwind_protect (save_excursion_restore, save_excursion_save ());
   record_unwind_protect (save_restriction_restore, save_restriction_save ());
 
-  /* This both uses b and checks its type.  */
-  Fgoto_char (b);
-  Fnarrow_to_region (make_number (BEGV), e);
-  readevalloop (cbuf, 0, XBUFFER (cbuf)->filename, Feval, !NILP (printflag));
+  /* This both uses start and checks its type.  */
+  Fgoto_char (start);
+  Fnarrow_to_region (make_number (BEGV), end);
+  readevalloop (cbuf, 0, XBUFFER (cbuf)->filename, Feval,
+               !NILP (printflag), Qnil, read_function);
 
   return unbind_to (count, Qnil);
 }
@@ -846,25 +1255,29 @@ STREAM or the value of `standard-input' may be:\n\
      call it with a char as argument to push a char back)\n\
  a string (takes text from string, starting at the beginning)\n\
  t (read text line using minibuffer and use it).")
-  (readcharfun)
-     Lisp_Object readcharfun;
+  (stream)
+     Lisp_Object stream;
 {
   extern Lisp_Object Fread_minibuffer ();
 
-  if (NILP (readcharfun))
-    readcharfun = Vstandard_input;
-  if (EQ (readcharfun, Qt))
-    readcharfun = Qread_char;
+  if (NILP (stream))
+    stream = Vstandard_input;
+  if (EQ (stream, Qt))
+    stream = Qread_char;
+
+  readchar_backlog = -1;
+  new_backquote_flag = 0;
+  read_objects = Qnil;
 
 #ifndef standalone
-  if (EQ (readcharfun, Qread_char))
+  if (EQ (stream, Qread_char))
     return Fread_minibuffer (build_string ("Lisp expression: "), Qnil);
 #endif
 
-  if (XTYPE (readcharfun) == Lisp_String)
-    return Fcar (Fread_from_string (readcharfun, Qnil, Qnil));
+  if (STRINGP (stream))
+    return Fcar (Fread_from_string (stream, Qnil, Qnil));
 
-  return read0 (readcharfun);
+  return read0 (stream);
 }
 
 DEFUN ("read-from-string", Fread_from_string, Sread_from_string, 1, 3, 0,
@@ -883,7 +1296,8 @@ START and END optionally delimit a substring of STRING from which to read;\n\
   if (NILP (end))
     endval = XSTRING (string)->size;
   else
-    { CHECK_NUMBER (end,2);
+    {
+      CHECK_NUMBER (end, 2);
       endval = XINT (end);
       if (endval < 0 || endval > XSTRING (string)->size)
        args_out_of_range (string, end);
@@ -892,34 +1306,39 @@ START and END optionally delimit a substring of STRING from which to read;\n\
   if (NILP (start))
     startval = 0;
   else
-    { CHECK_NUMBER (start,1);
+    {
+      CHECK_NUMBER (start, 1);
       startval = XINT (start);
       if (startval < 0 || startval > endval)
        args_out_of_range (string, start);
     }
 
   read_from_string_index = startval;
+  read_from_string_index_byte = string_char_to_byte (string, startval);
   read_from_string_limit = endval;
 
+  new_backquote_flag = 0;
+  read_objects = Qnil;
+
   tem = read0 (string);
   return Fcons (tem, make_number (read_from_string_index));
 }
 \f
-/* Use this for recursive reads, in contexts where internal tokens are not allowed. */
+/* Use this for recursive reads, in contexts where internal tokens
+   are not allowed. */
 
 static Lisp_Object
 read0 (readcharfun)
      Lisp_Object readcharfun;
 {
   register Lisp_Object val;
-  char c;
+  int c;
 
-  val = read1 (readcharfun);
-  if (XTYPE (val) == Lisp_Internal)
-    {
-      c = XINT (val);
-      return Fsignal (Qinvalid_read_syntax, Fcons (make_string (&c, 1), Qnil));
-    }
+  val = read1 (readcharfun, &c, 0);
+  if (c)
+    Fsignal (Qinvalid_read_syntax, Fcons (Fmake_string (make_number (1),
+                                                       make_number (c)),
+                                         Qnil));
 
   return val;
 }
@@ -927,13 +1346,41 @@ read0 (readcharfun)
 static int read_buffer_size;
 static char *read_buffer;
 
+/* Read multibyte form and return it as a character.  C is a first
+   byte of multibyte form, and rest of them are read from
+   READCHARFUN.  */
+
+static int
+read_multibyte (c, readcharfun)
+     register int c;
+     Lisp_Object readcharfun;
+{
+  /* We need the actual character code of this multibyte
+     characters.  */
+  unsigned char str[MAX_MULTIBYTE_LENGTH];
+  int len = 0;
+
+  str[len++] = c;
+  while ((c = READCHAR) >= 0xA0
+        && len < MAX_MULTIBYTE_LENGTH)
+    str[len++] = c;
+  UNREAD (c);
+  return STRING_CHAR (str, len);
+}
+
+/* Read a \-escape sequence, assuming we already read the `\'.  */
+
 static int
-read_escape (readcharfun)
+read_escape (readcharfun, stringp)
      Lisp_Object readcharfun;
+     int stringp;
 {
   register int c = READCHAR;
   switch (c)
     {
+    case -1:
+      error ("End of file");
+
     case 'a':
       return '\007';
     case 'b':
@@ -954,6 +1401,10 @@ read_escape (readcharfun)
       return '\v';
     case '\n':
       return -1;
+    case ' ':
+      if (stringp)
+       return -1;
+      return ' ';
 
     case 'M':
       c = READCHAR;
@@ -961,7 +1412,7 @@ read_escape (readcharfun)
        error ("Invalid escape character syntax");
       c = READCHAR;
       if (c == '\\')
-       c = read_escape (readcharfun);
+       c = read_escape (readcharfun, 0);
       return c | meta_modifier;
 
     case 'S':
@@ -970,7 +1421,7 @@ read_escape (readcharfun)
        error ("Invalid escape character syntax");
       c = READCHAR;
       if (c == '\\')
-       c = read_escape (readcharfun);
+       c = read_escape (readcharfun, 0);
       return c | shift_modifier;
 
     case 'H':
@@ -979,7 +1430,7 @@ read_escape (readcharfun)
        error ("Invalid escape character syntax");
       c = READCHAR;
       if (c == '\\')
-       c = read_escape (readcharfun);
+       c = read_escape (readcharfun, 0);
       return c | hyper_modifier;
 
     case 'A':
@@ -988,7 +1439,7 @@ read_escape (readcharfun)
        error ("Invalid escape character syntax");
       c = READCHAR;
       if (c == '\\')
-       c = read_escape (readcharfun);
+       c = read_escape (readcharfun, 0);
       return c | alt_modifier;
 
     case 's':
@@ -997,7 +1448,7 @@ read_escape (readcharfun)
        error ("Invalid escape character syntax");
       c = READCHAR;
       if (c == '\\')
-       c = read_escape (readcharfun);
+       c = read_escape (readcharfun, 0);
       return c | super_modifier;
 
     case 'C':
@@ -1007,9 +1458,11 @@ read_escape (readcharfun)
     case '^':
       c = READCHAR;
       if (c == '\\')
-       c = read_escape (readcharfun);
-      if ((c & 0177) == '?')
-       return 0177 | c;
+       c = read_escape (readcharfun, 0);
+      if ((c & ~CHAR_MODIFIER_MASK) == '?')
+       return 0177 | (c & CHAR_MODIFIER_MASK);
+      else if (! SINGLE_BYTE_CHAR_P ((c & ~CHAR_MODIFIER_MASK)))
+       return c | ctrl_modifier;
       /* ASCII control chars are made from letters (both cases),
         as well as the non-letters within 0100...0137.  */
       else if ((c & 0137) >= 0101 && (c & 0137) <= 0132)
@@ -1078,15 +1531,28 @@ read_escape (readcharfun)
       }
 
     default:
+      if (BASE_LEADING_CODE_P (c))
+       c = read_multibyte (c, readcharfun);
       return c;
     }
 }
 
+/* If the next token is ')' or ']' or '.', we store that character
+   in *PCH and the return value is not interesting.  Else, we store
+   zero in *PCH and we read and return one lisp object.
+
+   FIRST_IN_LIST is nonzero if this is the first element of a list.  */
+
 static Lisp_Object
-read1 (readcharfun)
+read1 (readcharfun, pch, first_in_list)
      register Lisp_Object readcharfun;
+     int *pch;
+     int first_in_list;
 {
   register int c;
+  int uninterned_symbol = 0;
+
+  *pch = 0;
 
  retry:
 
@@ -1099,36 +1565,101 @@ read1 (readcharfun)
       return read_list (0, readcharfun);
 
     case '[':
-      return read_vector (readcharfun);
+      return read_vector (readcharfun, 0);
 
     case ')':
     case ']':
       {
-       register Lisp_Object val;
-       XSET (val, Lisp_Internal, c);
-       return val;
+       *pch = c;
+       return Qnil;
       }
 
     case '#':
       c = READCHAR;
+      if (c == '^')
+       {
+         c = READCHAR;
+         if (c == '[')
+           {
+             Lisp_Object tmp;
+             tmp = read_vector (readcharfun, 0);
+             if (XVECTOR (tmp)->size < CHAR_TABLE_STANDARD_SLOTS
+                 || XVECTOR (tmp)->size > CHAR_TABLE_STANDARD_SLOTS + 10)
+               error ("Invalid size char-table");
+             XSETCHAR_TABLE (tmp, XCHAR_TABLE (tmp));
+             XCHAR_TABLE (tmp)->top = Qt;
+             return tmp;
+           }
+         else if (c == '^')
+           {
+             c = READCHAR;
+             if (c == '[')
+               {
+                 Lisp_Object tmp;
+                 tmp = read_vector (readcharfun, 0);
+                 if (XVECTOR (tmp)->size != SUB_CHAR_TABLE_STANDARD_SLOTS)
+                   error ("Invalid size char-table");
+                 XSETCHAR_TABLE (tmp, XCHAR_TABLE (tmp));
+                 XCHAR_TABLE (tmp)->top = Qnil;
+                 return tmp;
+               }
+             Fsignal (Qinvalid_read_syntax,
+                      Fcons (make_string ("#^^", 3), Qnil));
+           }
+         Fsignal (Qinvalid_read_syntax, Fcons (make_string ("#^", 2), Qnil));
+       }
+      if (c == '&')
+       {
+         Lisp_Object length;
+         length = read1 (readcharfun, pch, first_in_list);
+         c = READCHAR;
+         if (c == '"')
+           {
+             Lisp_Object tmp, val;
+             int size_in_chars = ((XFASTINT (length) + BITS_PER_CHAR - 1)
+                                  / BITS_PER_CHAR);
+
+             UNREAD (c);
+             tmp = read1 (readcharfun, pch, first_in_list);
+             if (size_in_chars != XSTRING (tmp)->size
+                 /* We used to print 1 char too many
+                    when the number of bits was a multiple of 8.
+                    Accept such input in case it came from an old version.  */
+                 && ! (XFASTINT (length)
+                       == (XSTRING (tmp)->size - 1) * BITS_PER_CHAR))
+               Fsignal (Qinvalid_read_syntax,
+                        Fcons (make_string ("#&...", 5), Qnil));
+               
+             val = Fmake_bool_vector (length, Qnil);
+             bcopy (XSTRING (tmp)->data, XBOOL_VECTOR (val)->data,
+                    size_in_chars);
+             /* Clear the extraneous bits in the last byte.  */
+             if (XINT (length) != size_in_chars * BITS_PER_CHAR)
+               XBOOL_VECTOR (val)->data[size_in_chars - 1]
+                 &= (1 << (XINT (length) % BITS_PER_CHAR)) - 1;
+             return val;
+           }
+         Fsignal (Qinvalid_read_syntax, Fcons (make_string ("#&...", 5),
+                                               Qnil));
+       }
       if (c == '[')
        {
          /* Accept compiled functions at read-time so that we don't have to
             build them using function calls.  */
          Lisp_Object tmp;
-         tmp = read_vector (readcharfun);
+         tmp = read_vector (readcharfun, 1);
          return Fmake_byte_code (XVECTOR (tmp)->size,
                                  XVECTOR (tmp)->contents);
        }
-#ifdef USE_TEXT_PROPERTIES
       if (c == '(')
        {
          Lisp_Object tmp;
          struct gcpro gcpro1;
+         int ch;
 
          /* Read the string itself.  */
-         tmp = read1 (readcharfun);
-         if (XTYPE (tmp) != Lisp_String)
+         tmp = read1 (readcharfun, &ch, 0);
+         if (ch != 0 || !STRINGP (tmp))
            Fsignal (Qinvalid_read_syntax, Fcons (make_string ("#", 1), Qnil));
          GCPRO1 (tmp);
          /* Read the intervals and their properties.  */
@@ -1136,28 +1667,151 @@ read1 (readcharfun)
            {
              Lisp_Object beg, end, plist;
 
-             beg = read1 (readcharfun);
-             if (XTYPE (beg) == Lisp_Internal)
-               {
-                 if (XINT (beg) == ')')
-                   break;
-                 Fsignal (Qinvalid_read_syntax, Fcons (make_string ("invalid string property list", 28), Qnil));
-               }
-             end = read1 (readcharfun);
-             if (XTYPE (end) == Lisp_Internal)
-               Fsignal (Qinvalid_read_syntax,
-                        Fcons (make_string ("invalid string property list", 28), Qnil));
-               
-             plist = read1 (readcharfun);
-             if (XTYPE (plist) == Lisp_Internal)
+             beg = read1 (readcharfun, &ch, 0);
+             if (ch == ')')
+               break;
+             if (ch == 0)
+               end = read1 (readcharfun, &ch, 0);
+             if (ch == 0)
+               plist = read1 (readcharfun, &ch, 0);
+             if (ch)
                Fsignal (Qinvalid_read_syntax,
-                        Fcons (make_string ("invalid string property list", 28), Qnil));
+                        Fcons (build_string ("invalid string property list"),
+                               Qnil));
              Fset_text_properties (beg, end, plist, tmp);
            }
          UNGCPRO;
          return tmp;
        }
-#endif
+      
+      /* #@NUMBER is used to skip NUMBER following characters.
+        That's used in .elc files to skip over doc strings
+        and function definitions.  */
+      if (c == '@')
+       {
+         int i, nskip = 0;
+
+         /* Read a decimal integer.  */
+         while ((c = READCHAR) >= 0
+                && c >= '0' && c <= '9')
+           {
+             nskip *= 10;
+             nskip += c - '0';
+           }
+         if (c >= 0)
+           UNREAD (c);
+         
+         if (load_force_doc_strings && EQ (readcharfun, Qget_file_char))
+           {
+             /* If we are supposed to force doc strings into core right now,
+                record the last string that we skipped,
+                and record where in the file it comes from.  */
+
+             /* But first exchange saved_doc_string
+                with prev_saved_doc_string, so we save two strings.  */
+             {
+               char *temp = saved_doc_string;
+               int temp_size = saved_doc_string_size;
+               file_offset temp_pos = saved_doc_string_position;
+               int temp_len = saved_doc_string_length;
+
+               saved_doc_string = prev_saved_doc_string;
+               saved_doc_string_size = prev_saved_doc_string_size;
+               saved_doc_string_position = prev_saved_doc_string_position;
+               saved_doc_string_length = prev_saved_doc_string_length;
+
+               prev_saved_doc_string = temp;
+               prev_saved_doc_string_size = temp_size;
+               prev_saved_doc_string_position = temp_pos;
+               prev_saved_doc_string_length = temp_len;
+             }
+
+             if (saved_doc_string_size == 0)
+               {
+                 saved_doc_string_size = nskip + 100;
+                 saved_doc_string = (char *) xmalloc (saved_doc_string_size);
+               }
+             if (nskip > saved_doc_string_size)
+               {
+                 saved_doc_string_size = nskip + 100;
+                 saved_doc_string = (char *) xrealloc (saved_doc_string,
+                                                       saved_doc_string_size);
+               }
+
+             saved_doc_string_position = file_tell (instream);
+
+             /* Copy that many characters into saved_doc_string.  */
+             for (i = 0; i < nskip && c >= 0; i++)
+               saved_doc_string[i] = c = READCHAR;
+
+             saved_doc_string_length = i;
+           }
+         else
+           {
+             /* Skip that many characters.  */
+             for (i = 0; i < nskip && c >= 0; i++)
+               c = READCHAR;
+           }
+
+         goto retry;
+       }
+      if (c == '$')
+       return Vload_file_name;
+      if (c == '\'')
+       return Fcons (Qfunction, Fcons (read0 (readcharfun), Qnil));
+      /* #:foo is the uninterned symbol named foo.  */
+      if (c == ':')
+       {
+         uninterned_symbol = 1;
+         c = READCHAR;
+         goto default_label;
+       }
+      /* Reader forms that can reuse previously read objects.  */
+      if (c >= '0' && c <= '9')
+       {
+         int n = 0;
+         Lisp_Object tem;
+
+         /* Read a non-negative integer.  */
+         while (c >= '0' && c <= '9')
+           {
+             n *= 10;
+             n += c - '0';
+             c = READCHAR;
+           }
+         /* #n=object returns object, but associates it with n for #n#.  */
+         if (c == '=')
+           {
+             /* Make a placeholder for #n# to use temporarily */
+             Lisp_Object placeholder;
+             Lisp_Object cell;
+
+             placeholder = Fcons(Qnil, Qnil);
+             cell = Fcons (make_number (n), placeholder);
+             read_objects = Fcons (cell, read_objects);
+
+             /* Read the object itself. */
+             tem = read0 (readcharfun);
+
+             /* Now put it everywhere the placeholder was... */
+             substitute_object_in_subtree (tem, placeholder);
+
+             /* ...and #n# will use the real value from now on.  */
+             Fsetcdr (cell, tem);
+             
+             return tem;
+           }
+         /* #n# returns a previously read object.  */
+         if (c == '#')
+           {
+             tem = Fassq (make_number (n), read_objects);
+             if (CONSP (tem))
+               return XCDR (tem);
+             /* Fall through to error message.  */
+           }
+         /* Fall through to error message.  */
+       }
+
       UNREAD (c);
       Fsignal (Qinvalid_read_syntax, Fcons (make_string ("#", 1), Qnil));
 
@@ -1170,48 +1824,127 @@ read1 (readcharfun)
        return Fcons (Qquote, Fcons (read0 (readcharfun), Qnil));
       }
 
+    case '`':
+      if (first_in_list)
+       goto default_label;
+      else
+       {
+         Lisp_Object value;
+
+         new_backquote_flag = 1;
+         value = read0 (readcharfun);
+         new_backquote_flag = 0;
+
+         return Fcons (Qbackquote, Fcons (value, Qnil));
+       }
+
+    case ',':
+      if (new_backquote_flag)
+       {
+         Lisp_Object comma_type = Qnil;
+         Lisp_Object value;
+         int ch = READCHAR;
+
+         if (ch == '@')
+           comma_type = Qcomma_at;
+         else if (ch == '.')
+           comma_type = Qcomma_dot;
+         else
+           {
+             if (ch >= 0) UNREAD (ch);
+             comma_type = Qcomma;
+           }
+
+         new_backquote_flag = 0;
+         value = read0 (readcharfun);
+         new_backquote_flag = 1;
+         return Fcons (comma_type, Fcons (value, Qnil));
+       }
+      else
+       goto default_label;
+
     case '?':
       {
-       register Lisp_Object val;
-
        c = READCHAR;
        if (c < 0) return Fsignal (Qend_of_file, Qnil);
 
        if (c == '\\')
-         XSET (val, Lisp_Int, read_escape (readcharfun));
-       else
-         XSET (val, Lisp_Int, c);
+         c = read_escape (readcharfun, 0);
+       else if (BASE_LEADING_CODE_P (c))
+         c = read_multibyte (c, readcharfun);
 
-       return val;
+       return make_number (c);
       }
 
-    case '\"':
+    case '"':
       {
        register char *p = read_buffer;
        register char *end = read_buffer + read_buffer_size;
        register int c;
+       /* Nonzero if we saw an escape sequence specifying
+          a multibyte character.  */
+       int force_multibyte = 0;
+       /* Nonzero if we saw an escape sequence specifying
+          a single-byte character.  */
+       int force_singlebyte = 0;
        int cancel = 0;
+       int nchars;
 
        while ((c = READCHAR) >= 0
               && c != '\"')
          {
-           if (p == end)
+           if (end - p < MAX_MULTIBYTE_LENGTH)
              {
                char *new = (char *) xrealloc (read_buffer, read_buffer_size *= 2);
                p += new - read_buffer;
                read_buffer += new - read_buffer;
                end = read_buffer + read_buffer_size;
              }
+
            if (c == '\\')
-             c = read_escape (readcharfun);
-           /* c is -1 if \ newline has just been seen */
-           if (c == -1)
              {
-               if (p == read_buffer)
-                 cancel = 1;
+               c = read_escape (readcharfun, 1);
+
+               /* C is -1 if \ newline has just been seen */
+               if (c == -1)
+                 {
+                   if (p == read_buffer)
+                     cancel = 1;
+                   continue;
+                 }
+
+               /* If an escape specifies a non-ASCII single-byte character,
+                  this must be a unibyte string.  */
+               if (SINGLE_BYTE_CHAR_P ((c & ~CHAR_MODIFIER_MASK))
+                   && ! ASCII_BYTE_P ((c & ~CHAR_MODIFIER_MASK)))
+                 force_singlebyte = 1;
+             }
+
+           if (! SINGLE_BYTE_CHAR_P ((c & ~CHAR_MODIFIER_MASK)))
+             {
+               /* Any modifiers for a multibyte character are invalid.  */
+               if (c & CHAR_MODIFIER_MASK)
+                 error ("Invalid modifier in string");
+               p += CHAR_STRING (c, p);
+               force_multibyte = 1;
              }
            else
              {
+               /* Allow `\C- ' and `\C-?'.  */
+               if (c == (CHAR_CTL | ' '))
+                 c = 0;
+               else if (c == (CHAR_CTL | '?'))
+                 c = 127;
+
+               if (c & CHAR_SHIFT)
+                 {
+                   /* Shift modifier is valid only with [A-Za-z].  */
+                   if ((c & 0377) >= 'A' && (c & 0377) <= 'Z')
+                     c &= ~CHAR_SHIFT;
+                   else if ((c & 0377) >= 'a' && (c & 0377) <= 'z')
+                     c = (c & ~CHAR_SHIFT) - ('a' - 'A');
+                 }
+
                if (c & CHAR_META)
                  /* Move the meta bit to the right place for a string.  */
                  c = (c & ~CHAR_META) | 0x80;
@@ -1220,7 +1953,8 @@ read1 (readcharfun)
                *p++ = c;
              }
          }
-       if (c < 0) return Fsignal (Qend_of_file, Qnil);
+       if (c < 0)
+         return Fsignal (Qend_of_file, Qnil);
 
        /* If purifying, and string starts with \ newline,
           return zero instead.  This is for doc strings
@@ -1228,10 +1962,41 @@ read1 (readcharfun)
        if (!NILP (Vpurify_flag) && NILP (Vdoc_file_name) && cancel)
          return make_number (0);
 
-       if (read_pure)
-         return make_pure_string (read_buffer, p - read_buffer);
+       if (force_multibyte)
+         nchars = multibyte_chars_in_text (read_buffer, p - read_buffer);
+       else if (force_singlebyte)
+         nchars = p - read_buffer;
+       else if (load_convert_to_unibyte)
+         {
+           Lisp_Object string;
+           nchars = multibyte_chars_in_text (read_buffer, p - read_buffer);
+           if (p - read_buffer != nchars)
+             {
+               string = make_multibyte_string (read_buffer, nchars,
+                                               p - read_buffer);
+               return Fstring_make_unibyte (string);
+             }
+         }
+       else if (EQ (readcharfun, Qget_file_char)
+                || EQ (readcharfun, Qlambda))
+         /* Nowadays, reading directly from a file
+            is used only for compiled Emacs Lisp files,
+            and those always use the Emacs internal encoding.
+            Meanwhile, Qlambda is used for reading dynamic byte code
+            (compiled with byte-compile-dynamic = t).  */
+         nchars = multibyte_chars_in_text (read_buffer, p - read_buffer);
        else
-         return make_string (read_buffer, p - read_buffer);
+         /* In all other cases, if we read these bytes as
+            separate characters, treat them as separate characters now.  */
+         nchars = p - read_buffer;
+
+       if (read_pure)
+         return make_pure_string (read_buffer, nchars, p - read_buffer,
+                                  (force_multibyte
+                                   || (p - read_buffer != nchars)));
+       return make_specified_string (read_buffer, nchars, p - read_buffer,
+                                     (force_multibyte
+                                      || (p - read_buffer != nchars)));
       }
 
     case '.':
@@ -1243,12 +2008,11 @@ read1 (readcharfun)
        int next_char = READCHAR;
        UNREAD (next_char);
 
-       if (! isdigit (next_char))
+       if (! (next_char >= '0' && next_char <= '9'))
 #endif
          {
-           register Lisp_Object val;
-           XSET (val, Lisp_Internal, c);
-           return val;
+           *pch = c;
+           return Qnil;
          }
 
        /* Otherwise, we fall through!  Note that the atom-reading loop
@@ -1256,6 +2020,7 @@ read1 (readcharfun)
           try to UNREAD two characters in a row.  */
       }
     default:
+    default_label:
       if (c <= 040) goto retry;
       {
        register char *p = read_buffer;
@@ -1264,18 +2029,18 @@ read1 (readcharfun)
        {
          register char *end = read_buffer + read_buffer_size;
 
-         while (c > 040 && 
-                !(c == '\"' || c == '\'' || c == ';' || c == '?'
-                  || c == '(' || c == ')'
+         while (c > 040
+                && !(c == '\"' || c == '\'' || c == ';' || c == '?'
+                     || c == '(' || c == ')'
 #ifndef LISP_FLOAT_TYPE
-                  /* If we have floating-point support, then we need
-                     to allow <digits><dot><digits>.  */
-                  || c =='.'
+                     /* If we have floating-point support, then we need
+                        to allow <digits><dot><digits>.  */
+                     || c =='.'
 #endif /* not LISP_FLOAT_TYPE */
-                  || c == '[' || c == ']' || c == '#'
-                  ))
+                     || c == '[' || c == ']' || c == '#'
+                     ))
            {
-             if (p == end)
+             if (end - p < MAX_MULTIBYTE_LENGTH)
                {
                  register char *new = (char *) xrealloc (read_buffer, read_buffer_size *= 2);
                  p += new - read_buffer;
@@ -1287,7 +2052,12 @@ read1 (readcharfun)
                  c = READCHAR;
                  quoted = 1;
                }
-             *p++ = c;
+
+             if (! SINGLE_BYTE_CHAR_P (c))
+               p += CHAR_STRING (c, p);
+             else
+               *p++ = c;
+
              c = READCHAR;
            }
 
@@ -1303,7 +2073,7 @@ read1 (readcharfun)
            UNREAD (c);
        }
 
-       if (!quoted)
+       if (!quoted && !uninterned_symbol)
          {
            register char *p1;
            register Lisp_Object val;
@@ -1324,20 +2094,179 @@ read1 (readcharfun)
                    if (p1[-1] == '.')
                      p1[-1] = '\0';
 #endif
-                   XSET (val, Lisp_Int, atoi (read_buffer));
+                   if (sizeof (int) == sizeof (EMACS_INT))
+                     XSETINT (val, atoi (read_buffer));
+                   else if (sizeof (long) == sizeof (EMACS_INT))
+                     XSETINT (val, atol (read_buffer));
+                   else
+                     abort ();
                    return val;
                  }
              }
 #ifdef LISP_FLOAT_TYPE
            if (isfloat_string (read_buffer))
-             return make_float (atof (read_buffer));
+             {
+               /* Compute NaN and infinities using 0.0 in a variable,
+                  to cope with compilers that think they are smarter
+                  than we are.  */
+               double zero = 0.0;
+
+               double value;
+
+               /* Negate the value ourselves.  This treats 0, NaNs,
+                  and infinity properly on IEEE floating point hosts,
+                  and works around a common bug where atof ("-0.0")
+                  drops the sign.  */
+               int negative = read_buffer[0] == '-';
+
+               /* The only way p[-1] can be 'F' or 'N', after isfloat_string
+                  returns 1, is if the input ends in e+INF or e+NaN.  */
+               switch (p[-1])
+                 {
+                 case 'F':
+                   value = 1.0 / zero;
+                   break;
+                 case 'N':
+                   value = zero / zero;
+                   break;
+                 default:
+                   value = atof (read_buffer + negative);
+                   break;
+                 }
+
+               return make_float (negative ? - value : value);
+             }
 #endif
          }
 
-       return intern (read_buffer);
+       if (uninterned_symbol)
+         return make_symbol (read_buffer);
+       else
+         return intern (read_buffer);
       }
     }
 }
+\f
+
+/* List of nodes we've seen during substitute_object_in_subtree. */
+static Lisp_Object seen_list;
+
+static void
+substitute_object_in_subtree (object, placeholder)
+     Lisp_Object object;
+     Lisp_Object placeholder;
+{
+  Lisp_Object check_object;
+
+  /* We haven't seen any objects when we start. */
+  seen_list = Qnil;
+
+  /* Make all the substitutions. */
+  check_object
+    = substitute_object_recurse (object, placeholder, object);
+  
+  /* Clear seen_list because we're done with it. */
+  seen_list = Qnil;
+
+  /* The returned object here is expected to always eq the
+     original. */
+  if (!EQ (check_object, object))
+    error ("Unexpected mutation error in reader");
+}
+
+/*  Feval doesn't get called from here, so no gc protection is needed. */
+#define SUBSTITUTE(get_val, set_val)                 \
+{                                                    \
+  Lisp_Object old_value = get_val;                   \
+  Lisp_Object true_value                             \
+    = substitute_object_recurse (object, placeholder,\
+                              old_value);           \
+                                                     \
+  if (!EQ (old_value, true_value))                   \
+    {                                                \
+       set_val;                                      \
+    }                                                \
+}
+
+static Lisp_Object
+substitute_object_recurse (object, placeholder, subtree)
+     Lisp_Object object;
+     Lisp_Object placeholder;
+     Lisp_Object subtree;
+{
+  /* If we find the placeholder, return the target object. */
+  if (EQ (placeholder, subtree))
+    return object;
+
+  /* If we've been to this node before, don't explore it again. */
+  if (!EQ (Qnil, Fmemq (subtree, seen_list)))
+    return subtree;
+
+  /* If this node can be the entry point to a cycle, remember that
+     we've seen it.  It can only be such an entry point if it was made
+     by #n=, which means that we can find it as a value in
+     read_objects.  */
+  if (!EQ (Qnil, Frassq (subtree, read_objects)))
+    seen_list = Fcons (subtree, seen_list);
+      
+  /* Recurse according to subtree's type.
+     Every branch must return a Lisp_Object.  */
+  switch (XTYPE (subtree))
+    {
+    case Lisp_Vectorlike:
+      {
+       int i;
+       int length = Flength(subtree);
+       for (i = 0; i < length; i++)
+         {
+           Lisp_Object idx = make_number (i);
+           SUBSTITUTE (Faref (subtree, idx),
+                       Faset (subtree, idx, true_value)); 
+         }
+       return subtree;
+      }
+
+    case Lisp_Cons:
+      {
+       SUBSTITUTE (Fcar_safe (subtree),
+                   Fsetcar (subtree, true_value)); 
+       SUBSTITUTE (Fcdr_safe (subtree),
+                   Fsetcdr (subtree, true_value)); 
+       return subtree;
+      }
+
+    case Lisp_String:
+      {
+       /* Check for text properties in each interval.
+          substitute_in_interval contains part of the logic. */ 
+
+       INTERVAL    root_interval = XSTRING (subtree)->intervals;
+       Lisp_Object arg           = Fcons (object, placeholder);
+          
+       traverse_intervals (root_interval, 1, 0,
+                           &substitute_in_interval, arg); 
+
+       return subtree;
+      }
+
+      /* Other types don't recurse any further. */
+    default:
+      return subtree;
+    }
+}
+
+/*  Helper function for substitute_object_recurse.  */
+static void
+substitute_in_interval (interval, arg)
+     INTERVAL    interval;
+     Lisp_Object arg;
+{
+  Lisp_Object object      = Fcar (arg);
+  Lisp_Object placeholder = Fcdr (arg);
+
+  SUBSTITUTE(interval->plist, interval->plist = true_value);
+}
+
 \f
 #ifdef LISP_FLOAT_TYPE
 
@@ -1351,44 +2280,59 @@ int
 isfloat_string (cp)
      register char *cp;
 {
-  register state;
+  register int state;
   
+  char *start = cp;
+
   state = 0;
   if (*cp == '+' || *cp == '-')
     cp++;
 
-  if (isdigit(*cp))
+  if (*cp >= '0' && *cp <= '9')
     {
       state |= LEAD_INT;
-      while (isdigit (*cp))
-       cp ++;
+      while (*cp >= '0' && *cp <= '9')
+       cp++;
     }
   if (*cp == '.')
     {
       state |= DOT_CHAR;
       cp++;
     }
-  if (isdigit(*cp))
+  if (*cp >= '0' && *cp <= '9')
     {
       state |= TRAIL_INT;
-      while (isdigit (*cp))
+      while (*cp >= '0' && *cp <= '9')
        cp++;
     }
-  if (*cp == 'e')
+  if (*cp == 'e' || *cp == 'E')
     {
       state |= E_CHAR;
       cp++;
+      if (*cp == '+' || *cp == '-')
+       cp++;
     }
-  if ((*cp == '+') || (*cp == '-'))
-    cp++;
 
-  if (isdigit (*cp))
+  if (*cp >= '0' && *cp <= '9')
     {
       state |= EXP_INT;
-      while (isdigit (*cp))
+      while (*cp >= '0' && *cp <= '9')
        cp++;
     }
-  return (*cp == 0
+  else if (cp == start)
+    ;
+  else if (cp[-1] == '+' && cp[0] == 'I' && cp[1] == 'N' && cp[2] == 'F')
+    {
+      state |= EXP_INT;
+      cp += 3;
+    }
+  else if (cp[-1] == '+' && cp[0] == 'N' && cp[1] == 'a' && cp[2] == 'N')
+    {
+      state |= EXP_INT;
+      cp += 3;
+    }
+
+  return (((*cp == 0) || (*cp == ' ') || (*cp == '\t') || (*cp == '\n') || (*cp == '\r') || (*cp == '\f'))
          && (state == (LEAD_INT|DOT_CHAR|TRAIL_INT)
              || state == (DOT_CHAR|TRAIL_INT)
              || state == (LEAD_INT|E_CHAR|EXP_INT)
@@ -1398,13 +2342,14 @@ isfloat_string (cp)
 #endif /* LISP_FLOAT_TYPE */
 \f
 static Lisp_Object
-read_vector (readcharfun)
+read_vector (readcharfun, bytecodeflag)
      Lisp_Object readcharfun;
+     int bytecodeflag;
 {
   register int i;
   register int size;
   register Lisp_Object *ptr;
-  register Lisp_Object tem, vector;
+  register Lisp_Object tem, item, vector;
   register struct Lisp_Cons *otem;
   Lisp_Object len;
 
@@ -1412,12 +2357,55 @@ read_vector (readcharfun)
   len = Flength (tem);
   vector = (read_pure ? make_pure_vector (XINT (len)) : Fmake_vector (len, Qnil));
 
-
   size = XVECTOR (vector)->size;
   ptr = XVECTOR (vector)->contents;
   for (i = 0; i < size; i++)
     {
-      ptr[i] = read_pure ? Fpurecopy (Fcar (tem)) : Fcar (tem);
+      item = Fcar (tem);
+      /* If `load-force-doc-strings' is t when reading a lazily-loaded
+        bytecode object, the docstring containing the bytecode and
+        constants values must be treated as unibyte and passed to
+        Fread, to get the actual bytecode string and constants vector.  */
+      if (bytecodeflag && load_force_doc_strings)
+       {
+         if (i == COMPILED_BYTECODE)
+           {
+             if (!STRINGP (item))
+               error ("invalid byte code");
+
+             /* Delay handling the bytecode slot until we know whether
+                it is lazily-loaded (we can tell by whether the
+                constants slot is nil).  */
+             ptr[COMPILED_CONSTANTS] = item;
+             item = Qnil;
+           }
+         else if (i == COMPILED_CONSTANTS)
+           {
+             Lisp_Object bytestr = ptr[COMPILED_CONSTANTS];
+
+             if (NILP (item))
+               {
+                 /* Coerce string to unibyte (like string-as-unibyte,
+                    but without generating extra garbage and
+                    guaranteeing no change in the contents).  */
+                 XSTRING (bytestr)->size = STRING_BYTES (XSTRING (bytestr));
+                 SET_STRING_BYTES (XSTRING (bytestr), -1);
+
+                 item = Fread (bytestr);
+                 if (!CONSP (item))
+                   error ("invalid byte code");
+
+                 otem = XCONS (item);
+                 bytestr = XCAR (item);
+                 item = XCDR (item);
+                 free_cons (otem);
+               }
+
+             /* Now handle the bytecode slot.  */
+             ptr[COMPILED_BYTECODE] = read_pure ? Fpurecopy (bytestr) : bytestr;
+           }
+       }
+      ptr[i] = read_pure ? Fpurecopy (item) : item;
       otem = XCONS (tem);
       tem = Fcdr (tem);
       free_cons (otem);
@@ -1425,8 +2413,8 @@ read_vector (readcharfun)
   return vector;
 }
   
-/* flag = 1 means check for ] to terminate rather than ) and .
-   flag = -1 means check for starting with defun
+/* FLAG = 1 means check for ] to terminate rather than ) and .
+   FLAG = -1 means check for starting with defun
     and make structure pure.  */
 
 static Lisp_Object
@@ -1441,36 +2429,151 @@ read_list (flag, readcharfun)
   Lisp_Object val, tail;
   register Lisp_Object elt, tem;
   struct gcpro gcpro1, gcpro2;
+  /* 0 is the normal case.
+     1 means this list is a doc reference; replace it with the number 0.
+     2 means this list is a doc reference; replace it with the doc string.  */ 
+  int doc_reference = 0;
+
+  /* Initialize this to 1 if we are reading a list.  */
+  int first_in_list = flag <= 0;
 
   val = Qnil;
   tail = Qnil;
 
   while (1)
     {
+      int ch;
       GCPRO2 (val, tail);
-      elt = read1 (readcharfun);
+      elt = read1 (readcharfun, &ch, first_in_list);
       UNGCPRO;
-      if (XTYPE (elt) == Lisp_Internal)
+
+      first_in_list = 0;
+
+      /* While building, if the list starts with #$, treat it specially.  */
+      if (EQ (elt, Vload_file_name)
+         && ! NILP (elt)
+         && !NILP (Vpurify_flag))
+       {
+         if (NILP (Vdoc_file_name))
+           /* We have not yet called Snarf-documentation, so assume
+              this file is described in the DOC-MM.NN file
+              and Snarf-documentation will fill in the right value later.
+              For now, replace the whole list with 0.  */
+           doc_reference = 1;
+         else
+           /* We have already called Snarf-documentation, so make a relative
+              file name for this file, so it can be found properly
+              in the installed Lisp directory.
+              We don't use Fexpand_file_name because that would make
+              the directory absolute now.  */
+           elt = concat2 (build_string ("../lisp/"),
+                          Ffile_name_nondirectory (elt));
+       }
+      else if (EQ (elt, Vload_file_name)
+              && ! NILP (elt)
+              && load_force_doc_strings)
+       doc_reference = 2;
+
+      if (ch)
        {
          if (flag > 0)
            {
-             if (XINT (elt) == ']')
+             if (ch == ']')
                return val;
-             return Fsignal (Qinvalid_read_syntax, Fcons (make_string (") or . in a vector", 18), Qnil));
+             Fsignal (Qinvalid_read_syntax,
+                      Fcons (make_string (") or . in a vector", 18), Qnil));
            }
-         if (XINT (elt) == ')')
+         if (ch == ')')
            return val;
-         if (XINT (elt) == '.')
+         if (ch == '.')
            {
              GCPRO2 (val, tail);
              if (!NILP (tail))
-               XCONS (tail)->cdr = read0 (readcharfun);
+               XCDR (tail) = read0 (readcharfun);
              else
                val = read0 (readcharfun);
-             elt = read1 (readcharfun);
+             read1 (readcharfun, &ch, 0);
              UNGCPRO;
-             if (XTYPE (elt) == Lisp_Internal && XINT (elt) == ')')
-               return val;
+             if (ch == ')')
+               {
+                 if (doc_reference == 1)
+                   return make_number (0);
+                 if (doc_reference == 2)
+                   {
+                     /* Get a doc string from the file we are loading.
+                        If it's in saved_doc_string, get it from there.  */
+                     int pos = XINT (XCDR (val));
+                     /* Position is negative for user variables.  */
+                     if (pos < 0) pos = -pos;
+                     if (pos >= saved_doc_string_position
+                         && pos < (saved_doc_string_position
+                                   + saved_doc_string_length))
+                       {
+                         int start = pos - saved_doc_string_position;
+                         int from, to;
+
+                         /* Process quoting with ^A,
+                            and find the end of the string,
+                            which is marked with ^_ (037).  */
+                         for (from = start, to = start;
+                              saved_doc_string[from] != 037;)
+                           {
+                             int c = saved_doc_string[from++];
+                             if (c == 1)
+                               {
+                                 c = saved_doc_string[from++];
+                                 if (c == 1)
+                                   saved_doc_string[to++] = c;
+                                 else if (c == '0')
+                                   saved_doc_string[to++] = 0;
+                                 else if (c == '_')
+                                   saved_doc_string[to++] = 037;
+                               }
+                             else
+                               saved_doc_string[to++] = c;
+                           }
+
+                         return make_string (saved_doc_string + start,
+                                             to - start);
+                       }
+                     /* Look in prev_saved_doc_string the same way.  */
+                     else if (pos >= prev_saved_doc_string_position
+                              && pos < (prev_saved_doc_string_position
+                                        + prev_saved_doc_string_length))
+                       {
+                         int start = pos - prev_saved_doc_string_position;
+                         int from, to;
+
+                         /* Process quoting with ^A,
+                            and find the end of the string,
+                            which is marked with ^_ (037).  */
+                         for (from = start, to = start;
+                              prev_saved_doc_string[from] != 037;)
+                           {
+                             int c = prev_saved_doc_string[from++];
+                             if (c == 1)
+                               {
+                                 c = prev_saved_doc_string[from++];
+                                 if (c == 1)
+                                   prev_saved_doc_string[to++] = c;
+                                 else if (c == '0')
+                                   prev_saved_doc_string[to++] = 0;
+                                 else if (c == '_')
+                                   prev_saved_doc_string[to++] = 037;
+                               }
+                             else
+                               prev_saved_doc_string[to++] = c;
+                           }
+
+                         return make_string (prev_saved_doc_string + start,
+                                             to - start);
+                       }
+                     else
+                       return get_doc_string (val, 0, 0);
+                   }
+
+                 return val;
+               }
              return Fsignal (Qinvalid_read_syntax, Fcons (make_string (". in wrong context", 18), Qnil));
            }
          return Fsignal (Qinvalid_read_syntax, Fcons (make_string ("] in a list", 11), Qnil));
@@ -1479,7 +2582,7 @@ read_list (flag, readcharfun)
             ? pure_cons (elt, Qnil)
             : Fcons (elt, Qnil));
       if (!NILP (tail))
-       XCONS (tail)->cdr = tem;
+       XCDR (tail) = tem;
       else
        val = tem;
       tail = tem;
@@ -1493,11 +2596,21 @@ read_list (flag, readcharfun)
 Lisp_Object Vobarray;
 Lisp_Object initial_obarray;
 
+/* oblookup stores the bucket number here, for the sake of Funintern.  */
+
+int oblookup_last_bucket_number;
+
+static int hash_string ();
+Lisp_Object oblookup ();
+
+/* Get an error if OBARRAY is not an obarray.
+   If it is one, return it.  */
+
 Lisp_Object
 check_obarray (obarray)
      Lisp_Object obarray;
 {
-  while (XTYPE (obarray) != Lisp_Vector || XVECTOR (obarray)->size == 0)
+  while (!VECTORP (obarray) || XVECTOR (obarray)->size == 0)
     {
       /* If Vobarray is now invalid, force it to be valid.  */
       if (EQ (Vobarray, obarray)) Vobarray = initial_obarray;
@@ -1507,8 +2620,8 @@ check_obarray (obarray)
   return obarray;
 }
 
-static int hash_string ();
-Lisp_Object oblookup ();
+/* Intern the C string STR: return a symbol with that name,
+   interned in the current obarray.  */
 
 Lisp_Object
 intern (str)
@@ -1516,44 +2629,62 @@ intern (str)
 {
   Lisp_Object tem;
   int len = strlen (str);
-  Lisp_Object obarray = Vobarray;
+  Lisp_Object obarray;
 
-  if (XTYPE (obarray) != Lisp_Vector || XVECTOR (obarray)->size == 0)
+  obarray = Vobarray;
+  if (!VECTORP (obarray) || XVECTOR (obarray)->size == 0)
     obarray = check_obarray (obarray);
-  tem = oblookup (obarray, str, len);
-  if (XTYPE (tem) == Lisp_Symbol)
+  tem = oblookup (obarray, str, len, len);
+  if (SYMBOLP (tem))
     return tem;
-  return Fintern ((!NILP (Vpurify_flag)
-                  ? make_pure_string (str, len)
-                  : make_string (str, len)),
-                 obarray);
+  return Fintern (make_string (str, len), obarray);
 }
 
+/* Create an uninterned symbol with name STR.  */
+
+Lisp_Object
+make_symbol (str)
+     char *str;
+{
+  int len = strlen (str);
+
+  return Fmake_symbol ((!NILP (Vpurify_flag)
+                       ? make_pure_string (str, len, len, 0)
+                       : make_string (str, len)));
+}
+\f
 DEFUN ("intern", Fintern, Sintern, 1, 2, 0,
   "Return the canonical symbol whose name is STRING.\n\
 If there is none, one is created by this function and returned.\n\
 A second optional argument specifies the obarray to use;\n\
 it defaults to the value of `obarray'.")
-  (str, obarray)
-     Lisp_Object str, obarray;
+  (string, obarray)
+     Lisp_Object string, obarray;
 {
   register Lisp_Object tem, sym, *ptr;
 
   if (NILP (obarray)) obarray = Vobarray;
   obarray = check_obarray (obarray);
 
-  CHECK_STRING (str, 0);
+  CHECK_STRING (string, 0);
 
-  tem = oblookup (obarray, XSTRING (str)->data, XSTRING (str)->size);
-  if (XTYPE (tem) != Lisp_Int)
+  tem = oblookup (obarray, XSTRING (string)->data,
+                 XSTRING (string)->size,
+                 STRING_BYTES (XSTRING (string)));
+  if (!INTEGERP (tem))
     return tem;
 
   if (!NILP (Vpurify_flag))
-    str = Fpurecopy (str);
-  sym = Fmake_symbol (str);
+    string = Fpurecopy (string);
+  sym = Fmake_symbol (string);
+  XSYMBOL (sym)->obarray = obarray;
+
+  if ((XSTRING (string)->data[0] == ':')
+      && EQ (obarray, initial_obarray))
+    XSYMBOL (sym)->value = sym;
 
   ptr = &XVECTOR (obarray)->contents[XINT (tem)];
-  if (XTYPE (*ptr) == Lisp_Symbol)
+  if (SYMBOLP (*ptr))
     XSYMBOL (sym)->next = XSYMBOL (*ptr);
   else
     XSYMBOL (sym)->next = 0;
@@ -1562,58 +2693,143 @@ it defaults to the value of `obarray'.")
 }
 
 DEFUN ("intern-soft", Fintern_soft, Sintern_soft, 1, 2, 0,
-  "Return the canonical symbol whose name is STRING, or nil if none exists.\n\
+  "Return the canonical symbol named NAME, or nil if none exists.\n\
+NAME may be a string or a symbol.  If it is a symbol, that exact\n\
+symbol is searched for.\n\
 A second optional argument specifies the obarray to use;\n\
 it defaults to the value of `obarray'.")
-  (str, obarray)
-     Lisp_Object str, obarray;
+  (name, obarray)
+     Lisp_Object name, obarray;
 {
   register Lisp_Object tem;
+  struct Lisp_String *string;
 
   if (NILP (obarray)) obarray = Vobarray;
   obarray = check_obarray (obarray);
 
-  CHECK_STRING (str, 0);
+  if (!SYMBOLP (name))
+    {
+      CHECK_STRING (name, 0);
+      string = XSTRING (name);
+    }
+  else
+    string = XSYMBOL (name)->name;
 
-  tem = oblookup (obarray, XSTRING (str)->data, XSTRING (str)->size);
-  if (XTYPE (tem) != Lisp_Int)
+  tem = oblookup (obarray, string->data, string->size, STRING_BYTES (string));
+  if (INTEGERP (tem) || (SYMBOLP (name) && !EQ (name, tem)))
+    return Qnil;
+  else
     return tem;
-  return Qnil;
 }
+\f
+DEFUN ("unintern", Funintern, Sunintern, 1, 2, 0,
+  "Delete the symbol named NAME, if any, from OBARRAY.\n\
+The value is t if a symbol was found and deleted, nil otherwise.\n\
+NAME may be a string or a symbol.  If it is a symbol, that symbol\n\
+is deleted, if it belongs to OBARRAY--no other symbol is deleted.\n\
+OBARRAY defaults to the value of the variable `obarray'.")
+  (name, obarray)
+     Lisp_Object name, obarray;
+{
+  register Lisp_Object string, tem;
+  int hash;
+
+  if (NILP (obarray)) obarray = Vobarray;
+  obarray = check_obarray (obarray);
+
+  if (SYMBOLP (name))
+    XSETSTRING (string, XSYMBOL (name)->name);
+  else
+    {
+      CHECK_STRING (name, 0);
+      string = name;
+    }
+
+  tem = oblookup (obarray, XSTRING (string)->data,
+                 XSTRING (string)->size,
+                 STRING_BYTES (XSTRING (string)));
+  if (INTEGERP (tem))
+    return Qnil;
+  /* If arg was a symbol, don't delete anything but that symbol itself.  */
+  if (SYMBOLP (name) && !EQ (name, tem))
+    return Qnil;
+
+  XSYMBOL (tem)->obarray = Qnil;
+
+  hash = oblookup_last_bucket_number;
+
+  if (EQ (XVECTOR (obarray)->contents[hash], tem))
+    {
+      if (XSYMBOL (tem)->next)
+       XSETSYMBOL (XVECTOR (obarray)->contents[hash], XSYMBOL (tem)->next);
+      else
+       XSETINT (XVECTOR (obarray)->contents[hash], 0);
+    }
+  else
+    {
+      Lisp_Object tail, following;
+
+      for (tail = XVECTOR (obarray)->contents[hash];
+          XSYMBOL (tail)->next;
+          tail = following)
+       {
+         XSETSYMBOL (following, XSYMBOL (tail)->next);
+         if (EQ (following, tem))
+           {
+             XSYMBOL (tail)->next = XSYMBOL (following)->next;
+             break;
+           }
+       }
+    }
+
+  return Qt;
+}
+\f
+/* Return the symbol in OBARRAY whose names matches the string
+   of SIZE characters (SIZE_BYTE bytes) at PTR.
+   If there is no such symbol in OBARRAY, return nil.
+
+   Also store the bucket number in oblookup_last_bucket_number.  */
 
 Lisp_Object
-oblookup (obarray, ptr, size)
+oblookup (obarray, ptr, size, size_byte)
      Lisp_Object obarray;
      register char *ptr;
-     register int size;
+     int size, size_byte;
 {
-  int hash, obsize;
+  int hash;
+  int obsize;
   register Lisp_Object tail;
   Lisp_Object bucket, tem;
 
-  if (XTYPE (obarray) != Lisp_Vector
+  if (!VECTORP (obarray)
       || (obsize = XVECTOR (obarray)->size) == 0)
     {
       obarray = check_obarray (obarray);
       obsize = XVECTOR (obarray)->size;
     }
+  /* This is sometimes needed in the middle of GC.  */
+  obsize &= ~ARRAY_MARK_FLAG;
   /* Combining next two lines breaks VMS C 2.3.  */
-  hash = hash_string (ptr, size);
+  hash = hash_string (ptr, size_byte);
   hash %= obsize;
   bucket = XVECTOR (obarray)->contents[hash];
+  oblookup_last_bucket_number = hash;
   if (XFASTINT (bucket) == 0)
     ;
-  else if (XTYPE (bucket) != Lisp_Symbol)
+  else if (!SYMBOLP (bucket))
     error ("Bad data in guts of obarray"); /* Like CADR error message */
-  else for (tail = bucket; ; XSET (tail, Lisp_Symbol, XSYMBOL (tail)->next))
+  else
+    for (tail = bucket; ; XSETSYMBOL (tail, XSYMBOL (tail)->next))
       {
-       if (XSYMBOL (tail)->name->size == size &&
-           !bcmp (XSYMBOL (tail)->name->data, ptr, size))
+       if (STRING_BYTES (XSYMBOL (tail)->name) == size_byte
+           && XSYMBOL (tail)->name->size == size
+           && !bcmp (XSYMBOL (tail)->name->data, ptr, size_byte))
          return tail;
        else if (XSYMBOL (tail)->next == 0)
          break;
       }
-  XSET (tem, Lisp_Int, hash);
+  XSETINT (tem, hash);
   return tem;
 }
 
@@ -1635,11 +2851,11 @@ hash_string (ptr, len)
     }
   return hash & 07777777777;
 }
-
+\f
 void
 map_obarray (obarray, fn, arg)
      Lisp_Object obarray;
-     int (*fn) ();
+     void (*fn) P_ ((Lisp_Object, Lisp_Object));
      Lisp_Object arg;
 {
   register int i;
@@ -1648,17 +2864,18 @@ map_obarray (obarray, fn, arg)
   for (i = XVECTOR (obarray)->size - 1; i >= 0; i--)
     {
       tail = XVECTOR (obarray)->contents[i];
-      if (XFASTINT (tail) != 0)
+      if (SYMBOLP (tail))
        while (1)
          {
            (*fn) (tail, arg);
            if (XSYMBOL (tail)->next == 0)
              break;
-           XSET (tail, Lisp_Symbol, XSYMBOL (tail)->next);
+           XSETSYMBOL (tail, XSYMBOL (tail)->next);
          }
     }
 }
 
+void
 mapatoms_1 (sym, function)
      Lisp_Object sym, function;
 {
@@ -1671,8 +2888,6 @@ OBARRAY defaults to the value of `obarray'.")
   (function, obarray)
      Lisp_Object function, obarray;
 {
-  Lisp_Object tem;
-
   if (NILP (obarray)) obarray = Vobarray;
   obarray = check_obarray (obarray);
 
@@ -1689,13 +2904,14 @@ init_obarray ()
   int hash;
   Lisp_Object *tem;
 
-  XFASTINT (oblength) = OBARRAY_SIZE;
+  XSETFASTINT (oblength, OBARRAY_SIZE);
 
-  Qnil = Fmake_symbol (make_pure_string ("nil", 3));
+  Qnil = Fmake_symbol (make_pure_string ("nil", 3, 3, 0));
   Vobarray = Fmake_vector (oblength, make_number (0));
   initial_obarray = Vobarray;
   staticpro (&initial_obarray);
   /* Intern nil in the obarray */
+  XSYMBOL (Qnil)->obarray = Vobarray;
   /* These locals are to kludge around a pyramid compiler bug. */
   hash = hash_string ("nil", 3);
   /* Separate statement here to avoid VAXC bug. */
@@ -1703,7 +2919,7 @@ init_obarray ()
   tem = &XVECTOR (Vobarray)->contents[hash];
   *tem = Qnil;
 
-  Qunbound = Fmake_symbol (make_pure_string ("unbound", 7));
+  Qunbound = Fmake_symbol (make_pure_string ("unbound", 7, 7, 0));
   XSYMBOL (Qnil)->function = Qunbound;
   XSYMBOL (Qunbound)->value = Qunbound;
   XSYMBOL (Qunbound)->function = Qunbound;
@@ -1717,8 +2933,9 @@ init_obarray ()
   Vpurify_flag = Qt;
 
   Qvariable_documentation = intern ("variable-documentation");
+  staticpro (&Qvariable_documentation);
 
-  read_buffer_size = 100;
+  read_buffer_size = 100 + MAX_MULTIBYTE_LENGTH;
   read_buffer = (char *) malloc (read_buffer_size);
 }
 \f
@@ -1728,7 +2945,7 @@ defsubr (sname)
 {
   Lisp_Object sym;
   sym = intern (sname->symbol_name);
-  XSET (XSYMBOL (sym)->function, Lisp_Subr, sname);
+  XSETSUBR (XSYMBOL (sym)->function, sname);
 }
 
 #ifdef NOTDEF /* use fset in subr.el now */
@@ -1739,74 +2956,74 @@ defalias (sname, string)
 {
   Lisp_Object sym;
   sym = intern (string);
-  XSET (XSYMBOL (sym)->function, Lisp_Subr, sname);
+  XSETSUBR (XSYMBOL (sym)->function, sname);
 }
 #endif /* NOTDEF */
 
-/* New replacement for DefIntVar; it ignores the doc string argument
-   on the assumption that make-docfile will handle that.  */
 /* Define an "integer variable"; a symbol whose value is forwarded
- to a C variable of type int.  Sample call: */
-  /* DEFVARINT ("indent-tabs-mode", &indent_tabs_mode, "Documentation");  */
-
+   to a C variable of type int.  Sample call: */
+  /* DEFVAR_INT ("indent-tabs-mode", &indent_tabs_mode, "Documentation");  */
 void
-defvar_int (namestring, address, doc)
+defvar_int (namestring, address)
      char *namestring;
      int *address;
-     char *doc;
 {
-  Lisp_Object sym;
+  Lisp_Object sym, val;
   sym = intern (namestring);
-  XSET (XSYMBOL (sym)->value, Lisp_Intfwd, address);
+  val = allocate_misc ();
+  XMISCTYPE (val) = Lisp_Misc_Intfwd;
+  XINTFWD (val)->intvar = address;
+  XSYMBOL (sym)->value = val;
 }
 
 /* Similar but define a variable whose value is T if address contains 1,
- NIL if address contains 0 */
-
+   NIL if address contains 0 */
 void
-defvar_bool (namestring, address, doc)
+defvar_bool (namestring, address)
      char *namestring;
      int *address;
-     char *doc;
 {
-  Lisp_Object sym;
+  Lisp_Object sym, val;
   sym = intern (namestring);
-  XSET (XSYMBOL (sym)->value, Lisp_Boolfwd, address);
+  val = allocate_misc ();
+  XMISCTYPE (val) = Lisp_Misc_Boolfwd;
+  XBOOLFWD (val)->boolvar = address;
+  XSYMBOL (sym)->value = val;
+  Vbyte_boolean_vars = Fcons (sym, Vbyte_boolean_vars);
 }
 
-/* Similar but define a variable whose value is the Lisp Object stored at address. */
-
+/* Similar but define a variable whose value is the Lisp Object stored
+   at address.  Two versions: with and without gc-marking of the C
+   variable.  The nopro version is used when that variable will be
+   gc-marked for some other reason, since marking the same slot twice
+   can cause trouble with strings.  */
 void
-defvar_lisp (namestring, address, doc)
+defvar_lisp_nopro (namestring, address)
      char *namestring;
      Lisp_Object *address;
-     char *doc;
 {
-  Lisp_Object sym;
+  Lisp_Object sym, val;
   sym = intern (namestring);
-  XSET (XSYMBOL (sym)->value, Lisp_Objfwd, address);
-  staticpro (address);
+  val = allocate_misc ();
+  XMISCTYPE (val) = Lisp_Misc_Objfwd;
+  XOBJFWD (val)->objvar = address;
+  XSYMBOL (sym)->value = val;
 }
 
-/* Similar but don't request gc-marking of the C variable.
-   Used when that variable will be gc-marked for some other reason,
-   since marking the same slot twice can cause trouble with strings.  */
-
 void
-defvar_lisp_nopro (namestring, address, doc)
+defvar_lisp (namestring, address)
      char *namestring;
      Lisp_Object *address;
-     char *doc;
 {
-  Lisp_Object sym;
-  sym = intern (namestring);
-  XSET (XSYMBOL (sym)->value, Lisp_Objfwd, address);
+  defvar_lisp_nopro (namestring, address);
+  staticpro (address);
 }
 
 #ifndef standalone
 
 /* Similar but define a variable whose value is the Lisp Object stored in
- the current buffer.  address is the address of the slot in the buffer that is current now. */
+   the current buffer.  address is the address of the slot in the buffer
+   that is current now. */
 
 void
 defvar_per_buffer (namestring, address, type, doc)
@@ -1815,28 +3032,52 @@ defvar_per_buffer (namestring, address, type, doc)
      Lisp_Object type;
      char *doc;
 {
-  Lisp_Object sym;
+  Lisp_Object sym, val;
   int offset;
   extern struct buffer buffer_local_symbols;
 
   sym = intern (namestring);
+  val = allocate_misc ();
   offset = (char *)address - (char *)current_buffer;
 
-  XSET (XSYMBOL (sym)->value, Lisp_Buffer_Objfwd,
-       (Lisp_Object *) offset);
+  XMISCTYPE (val) = Lisp_Misc_Buffer_Objfwd;
+  XBUFFER_OBJFWD (val)->offset = offset;
+  XSYMBOL (sym)->value = val;
   *(Lisp_Object *)(offset + (char *)&buffer_local_symbols) = sym;
   *(Lisp_Object *)(offset + (char *)&buffer_local_types) = type;
-  if (*(int *)(offset + (char *)&buffer_local_flags) == 0)
+  if (XINT (*(Lisp_Object *)(offset + (char *)&buffer_local_flags)) == 0)
     /* Did a DEFVAR_PER_BUFFER without initializing the corresponding
        slot of buffer_local_flags */
     abort ();
 }
 
 #endif /* standalone */
+
+/* Similar but define a variable whose value is the Lisp Object stored
+   at a particular offset in the current kboard object.  */
+
+void
+defvar_kboard (namestring, offset)
+     char *namestring;
+     int offset;
+{
+  Lisp_Object sym, val;
+  sym = intern (namestring);
+  val = allocate_misc ();
+  XMISCTYPE (val) = Lisp_Misc_Kboard_Objfwd;
+  XKBOARD_OBJFWD (val)->offset = offset;
+  XSYMBOL (sym)->value = val;
+}
 \f
+/* Record the value of load-path used at the start of dumping
+   so we can see if the site changed it later during dumping.  */
+static Lisp_Object dump_path;
+
+void
 init_lread ()
 {
   char *normal;
+  int turn_off_warning = 0;
 
   /* Compute the default load-path.  */
 #ifdef CANNOT_DUMP
@@ -1855,59 +3096,167 @@ init_lread ()
      from the default before dumping, don't override that value.  */
   if (initialized)
     {
-      Lisp_Object dump_path;
-
-      dump_path = decode_env_path (0, PATH_DUMPLOADSEARCH);
       if (! NILP (Fequal (dump_path, Vload_path)))
        {
          Vload_path = decode_env_path (0, normal);
          if (!NILP (Vinstallation_directory))
            {
              /* Add to the path the lisp subdir of the
-                installation dir.  */
-             Lisp_Object tem;
+                installation dir, if it exists.  */
+             Lisp_Object tem, tem1;
              tem = Fexpand_file_name (build_string ("lisp"),
                                       Vinstallation_directory);
-             if (NILP (Fmember (tem, Vload_path)))
-               Vload_path = nconc2 (Vload_path, Fcons (tem, Qnil));
+             tem1 = Ffile_exists_p (tem);
+             if (!NILP (tem1))
+               {
+                 if (NILP (Fmember (tem, Vload_path)))
+                   {
+                     turn_off_warning = 1;
+                     Vload_path = nconc2 (Vload_path, Fcons (tem, Qnil));
+                   }
+               }
+             else
+               /* That dir doesn't exist, so add the build-time
+                  Lisp dirs instead.  */
+               Vload_path = nconc2 (Vload_path, dump_path);
+
+             /* Add leim under the installation dir, if it exists.  */
+             tem = Fexpand_file_name (build_string ("leim"),
+                                      Vinstallation_directory);
+             tem1 = Ffile_exists_p (tem);
+             if (!NILP (tem1))
+               {
+                 if (NILP (Fmember (tem, Vload_path)))
+                   Vload_path = nconc2 (Vload_path, Fcons (tem, Qnil));
+               }
+
+             /* Add site-list under the installation dir, if it exists.  */
+             tem = Fexpand_file_name (build_string ("site-lisp"),
+                                      Vinstallation_directory);
+             tem1 = Ffile_exists_p (tem);
+             if (!NILP (tem1))
+               {
+                 if (NILP (Fmember (tem, Vload_path)))
+                   Vload_path = nconc2 (Vload_path, Fcons (tem, Qnil));
+               }
+
+             /* If Emacs was not built in the source directory,
+                and it is run from where it was built, add to load-path
+                the lisp, leim and site-lisp dirs under that directory.  */
+
+             if (NILP (Fequal (Vinstallation_directory, Vsource_directory)))
+               {
+                 Lisp_Object tem2;
+
+                 tem = Fexpand_file_name (build_string ("src/Makefile"),
+                                          Vinstallation_directory);
+                 tem1 = Ffile_exists_p (tem);
+
+                 /* Don't be fooled if they moved the entire source tree
+                    AFTER dumping Emacs.  If the build directory is indeed
+                    different from the source dir, src/Makefile.in and
+                    src/Makefile will not be found together.  */
+                 tem = Fexpand_file_name (build_string ("src/Makefile.in"),
+                                          Vinstallation_directory);
+                 tem2 = Ffile_exists_p (tem);
+                 if (!NILP (tem1) && NILP (tem2))
+                   {
+                     tem = Fexpand_file_name (build_string ("lisp"),
+                                              Vsource_directory);
+
+                     if (NILP (Fmember (tem, Vload_path)))
+                       Vload_path = nconc2 (Vload_path, Fcons (tem, Qnil));
+
+                     tem = Fexpand_file_name (build_string ("leim"),
+                                              Vsource_directory);
+
+                     if (NILP (Fmember (tem, Vload_path)))
+                       Vload_path = nconc2 (Vload_path, Fcons (tem, Qnil));
+
+                     tem = Fexpand_file_name (build_string ("site-lisp"),
+                                              Vsource_directory);
+
+                     if (NILP (Fmember (tem, Vload_path)))
+                       Vload_path = nconc2 (Vload_path, Fcons (tem, Qnil));
+                   }
+               }
            }
        }
     }
   else
-    Vload_path = decode_env_path (0, normal);
+    {
+      /* NORMAL refers to the lisp dir in the source directory.  */
+      /* We used to add ../lisp at the front here, but
+        that caused trouble because it was copied from dump_path
+        into Vload_path, aboe, when Vinstallation_directory was non-nil.
+        It should be unnecessary.  */
+      Vload_path = decode_env_path (0, normal);
+      dump_path = Vload_path;
+    }
 #endif
 
+#ifndef WINDOWSNT
+  /* When Emacs is invoked over network shares on NT, PATH_LOADSEARCH is 
+     almost never correct, thereby causing a warning to be printed out that 
+     confuses users.  Since PATH_LOADSEARCH is always overridden by the
+     EMACSLOADPATH environment variable below, disable the warning on NT.  */
+
   /* Warn if dirs in the *standard* path don't exist.  */
-  {
-    Lisp_Object path_tail;
+  if (!turn_off_warning)
+    {
+      Lisp_Object path_tail;
 
-    for (path_tail = Vload_path;
-        !NILP (path_tail);
-        path_tail = XCONS (path_tail)->cdr)
-      {
-       Lisp_Object dirfile;
-       dirfile = Fcar (path_tail);
-       if (XTYPE (dirfile) == Lisp_String)
-         {
-           dirfile = Fdirectory_file_name (dirfile);
-           if (access (XSTRING (dirfile)->data, 0) < 0)
-             fprintf (stderr, "Warning: lisp library (%s) does not exist.\n",
-                      XSTRING (Fcar (path_tail))->data);
-         }
-      }
-  }
+      for (path_tail = Vload_path;
+          !NILP (path_tail);
+          path_tail = XCDR (path_tail))
+       {
+         Lisp_Object dirfile;
+         dirfile = Fcar (path_tail);
+         if (STRINGP (dirfile))
+           {
+             dirfile = Fdirectory_file_name (dirfile);
+             if (access (XSTRING (dirfile)->data, 0) < 0)
+               dir_warning ("Warning: Lisp directory `%s' does not exist.\n",
+                            XCAR (path_tail));
+           }
+       }
+    }
+#endif /* WINDOWSNT */
 
   /* If the EMACSLOADPATH environment variable is set, use its value.
      This doesn't apply if we're dumping.  */
+#ifndef CANNOT_DUMP
   if (NILP (Vpurify_flag)
       && egetenv ("EMACSLOADPATH"))
+#endif
     Vload_path = decode_env_path ("EMACSLOADPATH", normal);
 
   Vvalues = Qnil;
 
   load_in_progress = 0;
+  Vload_file_name = Qnil;
 
   load_descriptor_list = Qnil;
+
+  Vstandard_input = Qt;
+}
+
+/* Print a warning, using format string FORMAT, that directory DIRNAME
+   does not exist.  Print it on stderr and put it in *Message*.  */
+
+void
+dir_warning (format, dirname)
+     char *format;
+     Lisp_Object dirname;
+{
+  char *buffer
+    = (char *) alloca (XSTRING (dirname)->size + strlen (format) + 5);
+
+  fprintf (stderr, format, XSTRING (dirname)->data);
+  sprintf (buffer, format, XSTRING (dirname)->data);
+  /* Don't log the warning before we've initialized!! */
+  if (initialized)
+    message_dolog (buffer, strlen (buffer), 0, STRING_MULTIBYTE (dirname));
 }
 
 void
@@ -1917,6 +3266,7 @@ syms_of_lread ()
   defsubr (&Sread_from_string);
   defsubr (&Sintern);
   defsubr (&Sintern_soft);
+  defsubr (&Sunintern);
   defsubr (&Sload);
   defsubr (&Seval_buffer);
   defsubr (&Seval_region);
@@ -1945,7 +3295,7 @@ See documentation of `read' for possible values.");
     "*List of directories to search for files to load.\n\
 Each element is a string (directory name) or nil (try default directory).\n\
 Initialized based on EMACSLOADPATH environment variable, if any,\n\
-otherwise to default specified by file `paths.h' when Emacs was built.");
+otherwise to default specified by file `epaths.h' when Emacs was built.");
 
   DEFVAR_BOOL ("load-in-progress", &load_in_progress,
     "Non-nil iff inside of `load'.");
@@ -1970,10 +3320,60 @@ The remaining elements of each list are symbols defined as functions\n\
 or variables, and cons cells `(provide . FEATURE)' and `(require . FEATURE)'.");
   Vload_history = Qnil;
 
+  DEFVAR_LISP ("load-file-name", &Vload_file_name,
+    "Full name of file being loaded by `load'.");
+  Vload_file_name = Qnil;
+
+  DEFVAR_LISP ("user-init-file", &Vuser_init_file,
+    "File name, including directory, of user's initialization file.");
+  Vuser_init_file = Qnil;
+
   DEFVAR_LISP ("current-load-list", &Vcurrent_load_list,
     "Used for internal purposes by `load'.");
   Vcurrent_load_list = Qnil;
 
+  DEFVAR_LISP ("load-read-function", &Vload_read_function,
+    "Function used by `load' and `eval-region' for reading expressions.\n\
+The default is nil, which means use the function `read'.");
+  Vload_read_function = Qnil;
+
+  DEFVAR_LISP ("load-source-file-function", &Vload_source_file_function,
+    "Function called in `load' for loading an Emacs lisp source file.\n\
+This function is for doing code conversion before reading the source file.\n\
+If nil, loading is done without any code conversion.\n\
+Arguments are FULLNAME, FILE, NOERROR, NOMESSAGE, where\n\
+ FULLNAME is the full name of FILE.\n\
+See `load' for the meaning of the remaining arguments.");
+  Vload_source_file_function = Qnil;
+
+  DEFVAR_BOOL ("load-force-doc-strings", &load_force_doc_strings,
+     "Non-nil means `load' should force-load all dynamic doc strings.\n\
+This is useful when the file being loaded is a temporary copy.");
+  load_force_doc_strings = 0;
+
+  DEFVAR_BOOL ("load-convert-to-unibyte", &load_convert_to_unibyte,
+     "Non-nil means `load' converts strings to unibyte whenever possible.\n\
+This is normally used in `load-with-code-conversion'\n\
+for loading non-compiled files.");
+  load_convert_to_unibyte = 0;
+
+  DEFVAR_LISP ("source-directory", &Vsource_directory,
+     "Directory in which Emacs sources were found when Emacs was built.\n\
+You cannot count on them to still be there!");
+  Vsource_directory
+    = Fexpand_file_name (build_string ("../"),
+                        Fcar (decode_env_path (0, PATH_DUMPLOADSEARCH)));
+
+  DEFVAR_LISP ("preloaded-file-list", &Vpreloaded_file_list,
+     "List of files that were preloaded (when dumping Emacs).");
+  Vpreloaded_file_list = Qnil;
+
+  DEFVAR_LISP ("byte-boolean-vars", &Vbyte_boolean_vars,
+     "List of all DEFVAR_BOOL variables, used by the byte code optimizer.");
+  Vbyte_boolean_vars = Qnil;
+
+  /* Vsource_directory was initialized in init_lread.  */
+
   load_descriptor_list = Qnil;
   staticpro (&load_descriptor_list);
 
@@ -1989,9 +3389,34 @@ or variables, and cons cells `(provide . FEATURE)' and `(require . FEATURE)'.");
   Qget_file_char = intern ("get-file-char");
   staticpro (&Qget_file_char);
 
+  Qbackquote = intern ("`");
+  staticpro (&Qbackquote);
+  Qcomma = intern (",");
+  staticpro (&Qcomma);
+  Qcomma_at = intern (",@");
+  staticpro (&Qcomma_at);
+  Qcomma_dot = intern (",.");
+  staticpro (&Qcomma_dot);
+
+  Qinhibit_file_name_operation = intern ("inhibit-file-name-operation");
+  staticpro (&Qinhibit_file_name_operation);
+
   Qascii_character = intern ("ascii-character");
   staticpro (&Qascii_character);
 
+  Qfunction = intern ("function");
+  staticpro (&Qfunction);
+
   Qload = intern ("load");
   staticpro (&Qload);
+
+  Qload_file_name = intern ("load-file-name");
+  staticpro (&Qload_file_name);
+
+  staticpro (&dump_path);
+
+  staticpro (&read_objects);
+  read_objects = Qnil;
+  staticpro (&seen_list);
+  
 }