i also dont believe that this is a bug i already wrote a gettok function and used the same strategy, because this is so more useful i am not sure how you want to store that data, but maybe using indexed dynamic variables or ini entries would be better
