A traditional hello-world file