/* Destroys LIST and frees all of its nodes using MANAGER.
If DESTRUCTOR is non-null, each node in the list will be
passed to it in list order, with AUX as auxiliary data, before
/* Destroys LIST and frees all of its nodes using MANAGER.
If DESTRUCTOR is non-null, each node in the list will be
passed to it in list order, with AUX as auxiliary data, before