anchor.diff:          (SETQ R (READ In NIL NIL))
           (PUSH R Rs))))
   
  -(DEFUN install-kl (File)
  +(DEFUN importkl (File)
     (LET ((KlFile       (FORMAT NIL "./kernel/klambda/~A.kl" File))
  -        (IntermedFile (FORMAT NIL "~A~A.intermed" *NATIVE-PATH* File))
  -        (LspFile      (FORMAT NIL "~A~A.lsp" *NATIVE-PATH* File))
  -        (ObjFile      (FORMAT NIL "~A~A.~A" *NATIVE-PATH* File #+CLISP "fas" #+SBCL "fasl")))
  +        (IntermedFile (FORMAT NIL "~A~A.intermed" NATIVE-PATH File))
  +        (LspFile      (FORMAT NIL "~A~A.lsp" NATIVE-PATH File))
  +        (ObjFile      (FORMAT NIL "~A~A~A" NATIVE-PATH File BINARY-SUFFIX)))
       (write-out-kl IntermedFile (read-in-kl KlFile))
       (boot IntermedFile LspFile)
       (COMPILE-FILE LspFile)
  
positive.code:       :IF-DOES-NOT-EXIST :CREATE)
      (FORMAT Out "~{~C~}" Chars)))
  
  (DEFUN importfile (File)
    (LET ((LspFile (FORMAT NIL "~A.lsp" File))
          (ObjFile (FORMAT NIL "~A~A.~A" *NATIVE-PATH* File #+CLISP "fas" #+SBCL "fasl")))
      (COMPILE-FILE LspFile :OUTPUT-FILE ObjFile)
      (LOAD ObjFile)))
  
  
negative.code: (COMPILE 'flip)
  (COMPILE 'write-out-kl)
  
  (importlsp "primitives")
  (importlsp "backend")
  (importkl "toplevel")
  (importkl "core")
  (importkl "sys")
  (importkl "sequent")
  (importkl "yacc")
  (importkl "reader")
  (importkl "prolog")
  (importkl "track")
  (importkl "load")
  (importkl "writer")
  (importkl "macros")
  (importkl "declarations")
  (importkl "types")
  (importkl "t-star")
  (importlsp "overwrite")
  (load "platform.shen")
  
  (MAPC 'FMAKUNBOUND '(boot writefile openfile importlsp))
  
  #+CLISP (EXT:SAVEINITMEM
    (FORMAT NIL "~A~A" NATIVE-PATH MEM-NAME)
    :INIT-FUNCTION 'shen.byteloop)
  
  #+CLISP (QUIT)
  
  #+SBCL (SAVE-LISP-AND-DIE
    (FORMAT NIL "~A~A" NATIVE-PATH EXECUTABLE-NAME)
    :EXECUTABLE T
    :SAVE-RUNTIME-OPTIONS T
    :TOPLEVEL 'SHEN-TOPLEVEL)
  