(module foo (type (tvector vint (int))) (main main)) (define (f v) (let loop ((i (-fx (vint-length v) 1)) (a 0)) (if (=fx i -1) a (loop (-fx i 1) (+fx a (vint-ref v i)))))) (define (main a) (print (make-vint 4 2)) (print (f (make-vint 10 1))))