A Motivating Example of WinDbg Scripting for .NET Developers"
Managed code: Check parameter