Probably not, as stream.get_token() just wraps re.match() which should move the stream all the way to the end (assuming the characters are valid). Give me a few minutes to update it.