

          echo [str1..]
               Writes zero or more strings to standard output,
               followed by a newline.
