#!/bin/csh -x
echo Hello world

# A comment

exit 0