/*
* Abstractly iterate over the collection of memory segments to be
* dumped; the callback lacks the customary environment-pointer
* argument because none of the current users really need one.
*
* To be used only after dump_seg_prep is called to set things up.
*/