@ -126,7 +126,7 @@ empty_command_name
/ "#"
/ ","
/ "'"
/ " "
/ " " { return " "}
/ removed_command_name { return ""}
removed_command_name