$ include "seed7_05.s7i";

const proc: main is noop;