Useful and efficient mini parsing buffer.
From the user point of view, an object of this class can be considered
as the combination of a STRING to be parsed with an extra INTEGER
index to memorize the current position in this STRING.
Beside the fact that this object provides the current position
memorization inside the STRING to be parsed, the implementation is
also more efficient than the one you may get by using the traditional
STRING interface.