Vector(v) returns the vector v. Ref #48