Re: Fix "warning: cast from pointer to integer of different size"