Do not cast a pointer to int.