Shows that stack unwinding in C# does not necessarily call destructors