disposeOfOldList
(void) disposeOfOldList(old_list);
(void) disposeOfOldList(*new_list);
disposeOfOldList,