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