While you're right, this does not look like a good coding practice to me. I cannot think of a good example where you have to assign a pointer to an integer and

While you're right, this does not look like a good coding practice to me. I cannot think of a good example where you have to assign a pointer to an integer and back. Better keep it a pointer, even if it's void*.