Динамические списки - некорректный вывод

type
  Link = ^Node;
  Node = record
    X: integer;
    Next: Link;
  end;
 
var
  L, l1, l2: link;
 
procedure input(var L: link);
var
  p: link;
begin
  write('Введите значения через пробел: ');
  if eoln then {интересная функция - end of line}
    L := nil
  else
  begin
    new(p); 
    read(p^.x);
    L := p;
    while not eoln do
    begin
      new(p^.next); 
      read(p^.next^.x );
      p := p^.next
    end;
    p^.next := nil
  end;
  readln
end;
 
procedure output(L: link);
begin
  write('Список L =>    ');
  while L <> nil do
  begin
    write(L^.x);
    L := L^.next
  end;
  writeln
end;
 
procedure split(L: link; var L1, L2: link);
var
  k: link;
begin
  L1 := nil;L2 := nil;
  while L <> nil do 
  begin
    new(k);
    k^.x := L^.x;
    if odd(L^.x) then begin
      if L1 <> nil then L1^.next := k;
      L1 := k;
    end else begin
      if L2 <> nil then L2^.next := k;
      L2 := k;
    end;
    L := L^.next;
  end;
end;
 
 
begin
  input(L);
  output(L);
  {dispose(L);}
  split (L, L1, L2);
  output (L1);
  output (L2);
end.

function HeapFunc(Size: Word): Integer; far;
begin
  HeapFunc:=1;
end;
var p: Pointer;
begin
  HeapError:=@HeapFunc;
  WriteLn('MemAvail: ',MemAvail,', MaxAvail: ',MaxAvail);
  repeat GetMem(p,1024*8) until p=nil;
  WriteLn('MemAvail: ',MemAvail,', MaxAvail: ',MaxAvail);
end.

new (k^.next);
k^.next := .... {чему?}