Add a cast from int64_t -> intptr_t before casting to void* to get the compiler to shut up