Hello world

$ include "seed7_05.s7i";