Re: [PATCH v2 2/2] winedbg: Replace magic number