What is the best way to pad a small vector to the size of a bigger vector, with 0s, in the beginning?

Question

What is the best way to pad a small vector to the size of a bigger vector, with 0s, in the beginning, hence for vec1 = 1234 and vec2 = 12345678, vec1 should become 00001234