anchor.diff:    (SVREF Vector N))
   
   (DEFUN shen.equal? (X Y)
  -   (IF (shen.ABSEQUAL X Y) 'true 'false))
  +  (IF (shen.ABSEQUAL X Y) 'true 'false))
   
   (DEFUN shen.ABSEQUAL (X Y)
  -  (COND ((AND (CONSP X) (CONSP Y) (shen.ABSEQUAL (CAR X) (CAR Y)))
  -         (shen.ABSEQUAL (CDR X) (CDR Y)))
  -        ((AND (STRINGP X) (STRINGP Y))
  -         (STRING= X Y))
  -        ((AND (NUMBERP X) (NUMBERP Y))
  -         (= X Y))
  -        ((AND (ARRAYP X) (ARRAYP Y))
  -         (CF-VECTORS X Y (LENGTH X) (LENGTH Y)))
  -        (T
  -         (EQUAL X Y))))
  +  (COND
  +    ((AND (CONSP X) (CONSP Y) (shen.ABSEQUAL (CAR X) (CAR Y)))
  +     (shen.ABSEQUAL (CDR X) (CDR Y)))
  +    ((AND (STRINGP X) (STRINGP Y))
  +     (STRING= X Y))
  +    ((AND (NUMBERP X) (NUMBERP Y))
  +     (= X Y))
  +    ((AND (ARRAYP X) (ARRAYP Y))
  +     (CF-VECTORS X Y (LENGTH X) (LENGTH Y)))
  +    (T
  +     (EQUAL X Y))))
   
   (DEFUN CF-VECTORS (X Y LX LY)
  -   (AND (= LX LY)
  -        (CF-VECTORS-HELP X Y 0 (1- LX))))
  +  (AND
  +    (= LX LY)
  +    (CF-VECTORS-HELP X Y 0 (1- LX))))
   
   (DEFUN CF-VECTORS-HELP (X Y COUNT MAX)
  -  (COND ((= COUNT MAX)
  -         (shen.ABSEQUAL (AREF X MAX) (AREF Y MAX)))
  -        ((shen.ABSEQUAL (AREF X COUNT) (AREF Y COUNT))
  -         (CF-VECTORS-HELP X Y (1+ COUNT) MAX))
  -        (T
  -         NIL)))
  +  (COND
  +    ((= COUNT MAX)
  +     (shen.ABSEQUAL (AREF X MAX) (AREF Y MAX)))
  +    ((shen.ABSEQUAL (AREF X COUNT) (AREF Y COUNT))
  +     (CF-VECTORS-HELP X Y (1+ COUNT) MAX))
  +    (T
  +     NIL)))
   
   (DEFUN write-byte (Byte S)
     (WRITE-BYTE Byte S))
  
positive.code: 
  (DEFMACRO if (X Y Z)
    `(LET ((*C* ,X))
      (COND ((EQ *C* 'true)
             ,Y)
            ((EQ *C* 'false)
             ,Z)
            (T
             (ERROR "~S is not a boolean~%" *C*)))))
  
  (DEFMACRO and (X Y)
    `(if ,X (if ,Y 'true 'false) 'false))
  
negative.code: 
  (DEFUN cn (Str1 Str2)
    (DECLARE ((TYPE STRING Str1) (TYPE STRING Str2)))
    (CONCATENATE 'STRING Str1 Str2))
  
  (DEFUN string? (S)
    (IF (STRINGP S) 'true 'false))
  