while (dir_times.size() >= allowed_slop) {
size_t old_size = dir_times_compressed.size();
dir_times_compressed.resize(old_size + 4096);
while (dir_times.size() >= allowed_slop) {
size_t old_size = dir_times_compressed.size();
dir_times_compressed.resize(old_size + 4096);