Hola mundo
The ubiquitous Hello world program: