Debugging managed code using WinDbg and SOS.dll