echo All the command-line arguments are:
echo $*