redid tokenize_json