Pointers Are Complicated III, or: Pointer-integer casts exposed