`if (vecs.empty()) {`