# Functions provided by the WinDbg debugger