Added extra 64-bit architecture. Use uintptr_t instead of unsigned int.