Fix for compiler warning casting int to void*