anchor.diff:        :IF-DOES-NOT-EXIST :CREATE)
       (FORMAT Out "~{~C~}" Chars)))
   
  -(DEFUN importfile (File)
  +(DEFUN importlsp (File)
     (LET ((LspFile (FORMAT NIL "~A.lsp" File))
  -        (ObjFile (FORMAT NIL "~A~A.~A" *NATIVE-PATH* File #+CLISP "fas" #+SBCL "fasl")))
  +        (ObjFile (FORMAT NIL "~A~A~A" NATIVE-PATH File BINARY-SUFFIX)))
       (COMPILE-FILE LspFile :OUTPUT-FILE ObjFile)
       (LOAD ObjFile)))
   
  
positive.code:         (SETQ R (READ In NIL NIL))
          (PUSH R Rs))))
  
  (DEFUN install-kl (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")))
      (write-out-kl IntermedFile (read-in-kl KlFile))
      (boot IntermedFile LspFile)
      (COMPILE-FILE LspFile)
  
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)
  