def greet [name] {
  echo "hello" $name
}

greet "world"