anchor.diff:          (SETQ R (READ In NIL NIL))
           (PUSH R Rs))))
   
  -(DEFUN importkl (File)
  +(DEFUN import-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 BINARY-SUFFIX)))
  -    (write-out-kl IntermedFile (read-in-kl KlFile))
  -    (boot IntermedFile LspFile)
  +    (prepare-kl KlFile IntermedFile)
  +    (translate-kl IntermedFile LspFile)
       (COMPILE-FILE LspFile)
       (LOAD ObjFile)))
  +
  +(DEFUN prepare-kl (KlFile IntermedFile)
  +  (write-out-kl IntermedFile (read-in-kl KlFile)))
   
   (DEFUN read-in-kl (File)
     (WITH-OPEN-FILE
  
positive.code:     ((FIND :OSX *FEATURES*) "Mac OSX")
      ((FIND :UNIX *FEATURES*) "Unix")))
  
  (DEFUN boot (InputFile OutputFile)
    (LET* ((KlCode (openfile InputFile))
           (LispCode (MAPCAR (FUNCTION (LAMBDA (X) (shen.kl-to-lisp NIL X))) KlCode)))
      (writefile OutputFile LispCode)))
  
negative.code: (COMPILE 'flip)
  (COMPILE 'write-out-kl)
  
  (import-lsp "primitives")
  (import-lsp "backend")
  (import-kl "toplevel")
  (import-kl "core")
  (import-kl "sys")
  (import-kl "sequent")
  (import-kl "yacc")
  (import-kl "reader")
  (import-kl "prolog")
  (import-kl "track")
  (import-kl "load")
  (import-kl "writer")
  (import-kl "macros")
  (import-kl "declarations")
  (import-kl "types")
  (import-kl "t-star")
  (import-lsp "overwrite")
  (load "platform.shen")
  
  (FMAKUNBOUND 'prepare-kl)
  (FMAKUNBOUND 'translate-kl)
  (FMAKUNBOUND 'writefile)
  (FMAKUNBOUND 'openfile)
  (FMAKUNBOUND 'import-lsp)
  (FMAKUNBOUND 'import-kl)
  
  #+CLISP (EXT:SAVEINITMEM
    (FORMAT NIL "~A~A" NATIVE-PATH MEM-NAME)
  