Tokenizer defs