Remove warning for invalid cast from int32 to pointer moreover this should be totally wrong on 64 bits arch.
Remove warning for invalid cast from int32 to pointer
moreover this should be totally wrong on 64 bits arch.

deweerdt/TSP,deweerdt/TSP,deweerdt/TSP,deweerdt/TSP,deweerdt/TSP