In C, you can convert back and forth between void * and some integer type, aliased as intptr_t since C99, so they must be equal under the univalence axiom.

Ah, "nuclear weapon" ... gotcha!