Re: [PATCH 3/5] widl: Remove an unused variable.