Hello world program
This is the classic "Hello world program" in IFC: