From e0d4aea4e838db4a3cbb29cb27c0fbe2642d69b2 Mon Sep 17 00:00:00 2001
From: Juan Jose Garcia Ripoll <jjgarcia@jjgr-2.local>
Date: Thu, 2 Jul 2009 23:08:33 +0200
Subject: [PATCH] Additional character names, for compatibility with older
 versions.

---
 src/c/main.d | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/src/c/main.d b/src/c/main.d
index def0817e0..3da64c137 100644
--- a/src/c/main.d
+++ b/src/c/main.d
@@ -524,9 +524,19 @@ cl_boot(int argc, char **argv)
 		/* Linefeed is redundant with one of the names given
 		 * in iso_latin_names.h, but it can not be associated
 		 * to the code 10, because the default name must be
-		 * Newline. */
-		cl_object name = make_constant_base_string("Linefeed");
-		ecl_sethash(name, aux, MAKE_FIXNUM(10));
+		 * Newline. Similar to the other codes. */
+                static struct {
+                        const char *name;
+                        int code;
+                } extra_names[] = { { "Null", 0 },
+                                    { "Linefeed", 10 },
+                                    { "Ack", 1 },
+                                    { "Bell", 7 },
+                                    { "Escape", 27 } };
+                for (i = 0; i < 5; i++) {
+                        cl_object name = make_constant_base_string(extra_names[i].name);
+                        ecl_sethash(name, aux, MAKE_FIXNUM(extra_names[i].code));
+                }
 	}
 
         /*