(define build-me-a-vector
    _ 0 -> <>
    X N -> (@v X (build-me-a-vector X (- N 1))))

(define destructive-add1
    V -> (destructive-add1-loop V 1 (limit V)))

(define destructive-add1-loop
   V Limit Limit -> (vector-> V Limit (+ 1 (<-vector V Limit)))
   V Count Limit -> (destructive-add1-loop 
                                    (vector-> V Count (+ 1 (<-vector V Count)))
                                    (+ Count 1)  Limit))