On 1 September 2014 12:25, Francois Gouget <fgouget at free.fr> wrote: > --- > > This is mostly cosmetic I guess. > Well, no. This will introduce a warning on 64-bit because now you're casting to a pointer from an integer of a different size.