echo("Hello world!")
using <code>stdout</code>
stdout.writeLine("Hello World!")