pascalabcnet/TestSuite/read1.pas

var
  read: integer;

procedure test;
begin
  assign(input, 'read1.txt');
  readln(read);
  assert(read = 45);
end;
begin
  //TODO
end.