with TEXT_IO; use TEXT_IO;
procedure TSTTEXT is
begin
PUT("Hello!");
end TSTTEXT;