adding Vector to std.t