Re: [HPDD-discuss] [PATCH] Drop unnecessary cast