Re: [PATCH] secur32: Remove dead code (Coverity).