856010674434b31be9980b5aa7198a7d7be3bdeb removes the __del__()