(int)(void*)(int) 64 vs 32