anchor.diff:  ;;  - Binding type aliases via alias
   ;;  - Declaring function signatures via function
   ;;  - Defining variables (via the other types)
  -    
  +
   (declare
    (linked-ints
     (struct (value integer)
             (next (pointer-to linked-ints))))
   
    (linked-ints-ptr
  -  (alias linked-ints))
  +  (alias (pointer-to linked-ints)))
   
    (cons-linked-ints
     (function linked-ints-ptr
  
positive.code:     ;; 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))))
  
    ;; Returns take the form:
    ;;
  
negative.code:  ;; Truncate/expand bytes <-> integers:
   ;;  (byte-to-int E) and (int-to-byte E)
   (block
    (set list (cast linked-ints-ptr (@sbrk (size-of linked-ints))))
    (set (field (deref list) value) head)
    (set (field (deref list) next) tail)
    (return list)))
  
  (define sum-linked-ints (list)
  