void appendVector(const pointVec_t& src, pointVec_t& dest) { std::copy(src.begin(), src.end(), dest.grow_by(src.size())); }
void appendVector(const point_t* src, size_t srcSize, pointVec_t& dest) { std::copy(src, src + srcSize, dest.grow_by(srcSize)); }