Makes Vec::push considerably smaller: 25 instructions, rather than 42, on
x86_64.