Freeing memory, releasing locks, closing files (though destructors are less expressive than separate close methods because destructors can't return error codes,

Freeing memory, releasing locks, closing files (though destructors are less expressive than separate close methods because destructors can't return error codes, which is why I want linear types which can make calling a close() method mandatory), committing transactions (though some argue it should be an explicit function call)...