Module string_tokenizer