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:     (kl-cycle (READ-CHAR In NIL NIL) In NIL 0)))
  
  (DEFUN kl-cycle (Char In Chars State)
    (IF (NULL Char)
      (REVERSE Chars)
      (kl-cycle
        (READ-CHAR In NIL NIL)
        In
        (IF (AND (MEMBER Char '(#\: #\; #\,) :TEST 'CHAR-EQUAL) (= State 0))
          (APPEND (LIST #\| Char #\|) Chars)
          (CONS Char Chars))
        (IF (CHAR-EQUAL Char #\")
          (flip State)
          State))))
  
  (DEFUN flip (State)
    (IF (ZEROP State) 1 0))
  