Implementing vector in the stdlib
implementing vector-length