Re: [PATCH 1/1] sandbox: cast to pointer from integer of different size