This silents GCC warnings (in 64 bits) about casting integer to pointer of different size.
Attach a file by drag & drop or click to upload
