This the "hello world" example for the Descartes Modeling Language.