Tokenstream savepoint