I came across the problem that I had a persistent
array defined in one of my classes. After reloading
the page it's pointer position was of course resetted
to the beginning of the array.
For convenience it would be good if PHPLIB would be
able also to save the current index in the array and
restore it after reinitilization of the session.