Re: [PATCH] shell32: handle bad menu handle (Coverity)