A simple tokenizer