[msm_]

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

[WolfeReader]

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.