[vector] Use Crap pool in push() as well
9 files changed