It would seem that the second argument to the call to compute-length in
the body ought to be zero rather than the call to check-type, since it
is being used as an accumulator for the final vector length.

Dale Jordan