Symbol: tokenize_user_cmd