discard """ output: "Hello World" """ echo "Hello World"