padded_vector function

Grow a Vector to a Given Size, Padding it With Empty Elements