pool destructor: tests still unstable