$ include "seed7_05.s7i"; const proc: main is func local var integer: a is 0; var integer: b is 0; begin read(a); read(b); writeln(a + b); end func;