Re: SMATCH: missing LeaveCriticalSection in error path