`(vector-length v)`