Comment by WolfeReader

2 years ago

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.