Comment by msm_

2 years ago

But identifier already means something else (i'm used to identifiers being unique, constant, and useful for actually identifying someone).

Good point!

The former C++ programmer in me wants to call them "user pointers" but that would just confuse people who haven't learned pointers.