anchor.diff:      ;; Logical expressions:
       ;;   (&& E E) and (|| E E) are the short-circuiting versions of the
       ;;   bitwise operators & and |
  -    (set sum (+ sum (field list value)))
  -    (set list (field list next))))
  +    (set sum (+ sum (field (deref list) value)))
  +    (set list (field (deref list) next))))
   
     ;; Returns take the form:
     ;;
  
positive.code:  ;; Truncate/expand bytes <-> integers:
   ;;  (byte-to-int E) and (int-to-byte E)
   (block
    (set list (ptr-to-int (@sbrk (size-of linked-ints))))
    (set (field list value) head)
    (set (field list rest) tail)
    (return list)))
  
  (define sum-linked-ints (list)
  
negative.code:   ;; Conditionals take the form:
    ;;   (if E B B?) where E is the condition, and the B's are the true body
    ;;     and the optional false body
    (while (!= list 0)
     (block
      ;; Accessors / assignable targets:
      ;;
  