To properly parse the current token, the pointer MUST be just before its starting (leading whitespaces are ignored).
Postconditions:
When this method terminates, the pointer IS at the last byte of the current token.
Invariants:
The byte-level position of the pointer IS anytime (during token parsing) at the end of the current token (whereas the 'current token' represents the token-level position of the pointer).