How does defaultToken work? Is it slow? I guess tokenizer iterates over each character, doesn't it?