$ include "seed7_05.s7i";

const proc: main is func
  local
    var integer: integer_input is 0;
    var string: string_input is "";
  begin
    write("Enter an integer: ");
    readln(integer_input);
    write("Enter a string: ");
    readln(string_input);
  end func;