string reverseWords(string s) {
    return (reverse(s / " ") - ({ "" })) * " ";
}