Неправильный Qsort

while a [i] < x do i:=i+1;
while x < a [j] do j:=j-1;

while CmpByte (a [i], x) do i:=i+1;
while CmpByte (x, a [j]) do j:=j-1;

Function CmpByte (a, b: byte): boolean;
begin
Result:= a < b;
end;

procedure Qsort (l,r: longint); // Работает нормально, правильная сортировка
var
  i,j,x,y: longint;
begin
  i:=l; j:=r;
  x:=a [(l+r) shr 1];
  repeat
while a[i] < x do i:=i+1;
while x < a[j] do j:=j-1;
    if i<=j then begin y:=a[i]; a[i]:=a[j]; a[j]:=y;  i:=i+1; j:=j-1; end;
  until i>j;
  if l<j then qsort( l,j);
  if i<r then qsort( i,r);
end;

function CmpByte (a, b: byte): boolean; //Не работает
begin
  Result := false;
  if a <  b then Result := true;
  // или так // if a <  b then Result := true else Result := false; //Не работает
end;

 procedure Qsort2 (l,r: byte); // Не работает
var
  i,j,x,y: longint;
begin
  i:=l; j:=r;
  x:=a [(l+r) shr 1];
  repeat
while CmpByte (a [i], x)  do i:=i+1;
while CmpByte (x,  a[j])  do j:=j-1;
    if i<=j then begin y:=a[i]; a[i]:=a[j]; a[j]:=y;  i:=i+1; j:=j-1; end;
  until i>j;
  if l<j then qsort2( l,j);
  if i<r then qsort2( i,r);
end;

Function CmpByte (a, b: byte): boolean;
begin
Result:= a < b;
end;

type
 ar1 = array [0..$7fffffff -1] of byte; 
 arrayByte=^ar1;
 
var
  A: arrayByte;

begin
//QSort (0, fs-1); //нормально
QSort2 ( 0, fs-1); //ошибки на выходе

type
ar1 = array [0..255] of byte;

function CmpByte (a, b: byte): boolean; 
begin
  Result := a <  b;
end;

unit Unit1;
{$APPTYPE CONSOLE}
 
interface
 
uses
  Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,
  Dialogs;
 
type
  TForm1 = class(TForm)
    procedure FormCreate(Sender: TObject);
  private
    { Private declarations }
  public
    { Public declarations }
  end;
 
var
  Form1: TForm1;
 
implementation
 
{$R *.dfm}
 
 
 
 
 
  type
 ar1 = array [0..$7fffffff -1] of byte; arrayByte=^ar1;
 
var
 fs, n,  i: longint;
 A, aa, aBin: arrayByte;
 
 
 
 
/////////////////////////////////////////////////////////////////////////////////////////////
 procedure Qsort (l,r: longint);
var
  i,j,x,y: longint;
begin
  i:=l; j:=r;
  x:=a [(l+r) shr 1];
  repeat
while a[i] < x do i:=i+1;
while x < a[j] do j:=j-1;
    if i<=j then begin y:=a[i]; a[i]:=a[j]; a[j]:=y;  i:=i+1; j:=j-1; end;
  until i>j;
  if l<j then qsort( l,j);
  if i<r then qsort( i,r);
end;
 
 
////////////////////////////////////////////////////////////////////////////////
function CmpByte (a, b: byte): boolean;
begin
  Result := a <  b;
end;
////////////////////////////////////////////////////////////////////////////////
 procedure Qsort2 (l,r: longint); //
var
  i,j,x,y: longint;
begin
  i:=l; j:=r;
  x:=a [(l+r) shr 1];
  repeat
while CmpByte (a[i], x) do i:=i+1;
while CmpByte (x, a[j]) do j:=j-1;
    if i<=j then begin y:=a[i]; a[i]:=a[j]; a[j]:=y;  i:=i+1; j:=j-1; end;
  until i>j;
  if l<j then qsort( l,j);
  if i<r then qsort( i,r);
end;
 
 
 
 
 
 
//////////////////////////////////////////////////////////////////
Procedure Sort ( s, ss:longint);
 var x,y: longint;
begin
//QSort (0, fs-1); //OK Sort
QSort2 ( 0, fs-1); //Not work
end;
 
 
 
 
 
/////////////////////////////////////////////////////////////////
var
f, ff, fbin:file;
yy, z, x: longint;
s, sf: string;
 
procedure TForm1.FormCreate(Sender: TObject);
begin
sf:='enwik5'; //100 Kb
 
AssignFile (f,sf); Reset(f,1); fs:= FileSize(f);
AssignFile (ff,'out.txt');     Rewrite(ff,1);
A:=AllocMem(fs);               Blockread (f, A[0], fs); CloseFile(f);
 
writeln('Sorting:');
//for x:=0 to fs-1 do   write (IntToStr(aaa[x]) + '-'); writeln;
 
Sort (0, fs-1);
writeln(s);
 
 
BlockWrite(ff, a[0], fs); CloseFile(ff);
FreeMem(A); //, fs);
 
writeln('Press any key...');
readln;
halt;
end;
 
end.