Fwd: Re: [PATCH 1/1] include/basetsd.h: fix bad casting