#!@shell@

echo Hello world