end_progress
end_progress(saved, dumphdr.dump_npages);
static void end_progress(len_t, len_t);
end_progress(completed, total);