Re: [PATCH] user32: Avoid pointer truncation in free_user_handle.