.push_front() (and .push_back()) are too expensive to implement on
vectors (actual linear time vs. required amortised constant time), so vectors
don't provide them. No .push_front(), no front inserters.
This page last modified on 2 March 2004.