Facebook's std::vector optimization