charref tokenizer defs