$ include "seed7_05.s7i";

const proc: main is func
  begin
    # whatever logic is required in your main procedure
    if some_condition then
      exit(PROGRAM);
    end if;
  end func;