Index: /trunk/ccl/lisp-kernel/x86_print.c
===================================================================
--- /trunk/ccl/lisp-kernel/x86_print.c	(revision 5072)
+++ /trunk/ccl/lisp-kernel/x86_print.c	(revision 5073)
@@ -64,5 +64,5 @@
 }
 
-char numbuf[64], *digits = "012456789ABCDEF";
+char numbuf[64], *digits = "0123456789ABCDEF";