Improved util.vector_*