Yes. That works. If the laundering through integers is syntactically obvious - obvious that the cast back from int used a int that obviously can from a pointer

Yes. That works. If the laundering through integers is syntactically obvious - obvious that the cast back from int used a int that obviously can from a pointer - then I allow it.