Re: SMATCH: add missing LeaveCriticalSection