In our previous episode, Michael Van Canneyt said: > Going back to 1 is not an option. > For case 2, I am inclined to say that the destructor must always succeed. > Errors in destructors are very ugly to trap. ... time to mark tinifile as deprecated ?