anchor.diff:         (setf *r8-value* (list (gensym))))))
   
   (defmacro define-writer (name type tag slot)
  -  `(defbuiltin ,name (value object)
  +  `(defbuiltin ,name (value object) ()
        (let ((type-error-label (gensym)))
          (emit-trailer (type-error-label)
            (raise-type-error :r9 ',type))
  
positive.code:   (emit `(sys.lap-x86:cmp64 :r9 :r8))
    (predicate-result :g))
  
  (defbuiltin sys.int::binary->= (x y)
    (load-in-reg :r9 x t)
    (fixnum-check :r9)
    (load-in-r8 y t)
  
negative.code:   (emit `(sys.lap-x86:cmp64 :r9 :r8))
    (predicate-result :l))
  
  (defbuiltin sys.int::binary-<= (x y) ()
    (load-in-reg :r9 x t)
    (fixnum-check :r9)
    (load-in-r8 y t)
  