anchor.diff:    ;; 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 null)
  +  (while (!= list 0)
      (block
       ;; Accessors / assignable targets:
       ;;
  
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:     ;; Logical expressions:
      ;;   (&& E E) and (|| E E) are the short-circuiting versions of the
      ;;   bitwise operators & and |
      (set sum (+ sum (field (deref list) value)))
      (set list (field (deref list) next))))
  
    ;; Returns take the form:
    ;;
  