;; print all i64's in list (bind-func my-test25 (lambda (a:i64list*) (if (null? a) (begin (printf "done\n") 1) (begin (printf "%lld\n" (car-i64 a)) (my-test25 (cdr-i64 a))))))