A pointer of type Pointer<T> is a handle that
may refer to any object of type T stored in the heap. By this handle,
the referenced object may be accessed and updated in constant time. Multiple
pointers may refer to the same object.
Author: Wolfgang Schreiner Last Modification: April 12, 1997