>For exceptions to work predictably, all mutation within a try-catch block should be captured in a transaction that can be rolled back.

[code] try { system("rm foo.txt");} catch (...) {} [/code]

Not everything can be rolled back. Often, automatic rollbacks lead to states unaccounted for by the developer.