Как уменьшить длину строки в PascalABC.NET?

begin
  var s := ReadlnString;
  var max_len := 4;
  s := Copy(s, 0, max_len);
  writeln(s);
end.

begin
  var s := ReadlnString;
  var max_len := 4;
  s := s?[1:1+max_len];
  writeln(s);
end.

uses crt;
 
var
  s: string;
 
begin
  hidecursor;
  textbackground(0);
  clrscr;
  textcolor(15);
  gotoxy(3, 3);
  write('┌');
  for i: integer := 1 to 5 do write('─');
  write('┐');
  gotoxy(3, 4);
  write('│');
  gotoxy(9, 4);
  write('│');
  gotoxy(3, 5);
  write('└');
  for i: integer := 1 to 5 do write('─');
  write('┘');
  gotoxy(4, 4);
  showcursor;
  readln(s);
  hidecursor;
  gotoxy(3, 6);
  writeln(s);
  textcolor(0);
  readln;
  clrscr;
  readln;
end.

begin
  var s: string;
  var key: char;
  while true do
  begin
    key := System.Console.ReadKey.KeyChar;
    if word(key) = 13 then break;//это знак энтера
    s += key;
  end;
  writeln;
  writeln(s);
  readln;
end.

uses crt;
function ReadNChars(n:integer):string;
var
  c:char;
  i,x,y:integer;
  s:string;
begin
  s:='';
  for i:=1 to n do s:=s+' ';
  Result:='';
  (x,y):=(WhereX,WhereY);
  repeat
    i:=Length(Result);
    gotoxy(x,y);write(s);
    gotoxy(x,y);write(Result);
    gotoxy(x+i,y);
    c:=ReadKey;
    case c of 
      #8:delete(Result,i,1);
      #0:c:=ReadKey;
      #9,#13:;
      else if i<n then Result:=Result+c;
    end;
  until c=#13;  
end;
 
begin
  gotoxy(10,5);var s:=ReadNChars(4); //в позиции x=10 y=5 читаем 4 символа
  gotoxy(1,14);writeln('Считано:',s);// чуть ниже выводим результат
end.