Длинная Арифметика. Сложение

var
  c: char;
  a, b, o: array[1..10003] of byte;
  na, nb, i, l, x: longint;
 
begin
  repeat
    read(c);
    if c in ['0'..'9'] then
    begin
      inc(na); 
      a[na] := ord(c) - 48;
    end;
  until (c = #13) or (na = 10002);
  {-----------------------------------------------------------------------------------------}
  repeat
    read(c);
    if c in ['0'..'9'] then
    begin
      inc(nb);
      b[nb] := ord(c) - 48;
    end;
  until (c = #13) or (nb = 10002);
  if na > nb then l := na
  else l := nb;
  if (na > nb) then l := na else l := nb;
  {==========================================================================================}
  for i := 1 to na div 2 do
  begin
    x := a[i];
    a[i] := a[na - i + 1];
    a[na - i + 1] := x;
  end;
  for i := 1 to nb div 2 do
  begin
    x := b[i];
    b[i] := b[nb - i + 1];
    b[nb - i + 1] := x;
  end;
  {==========================================================================================}
  for i := 1 to l do
  begin
    o[i] := o[i] + a[i] + b[i];
    if (o[i] > 9) then begin o[i + 1] := trunc(o[i] / 10); o[i] := o[i] mod 10; end;
  end;
  if (o[l+1] > 0) then inc(l);
  for i := l downto 1 do write(o[i]); writeln;  
end.

{ Процедура распечатки сверхбольшого числа} 
procedure WriteBigNumber(var F: text; const aNum: TBigNumber); 
var i : integer; 
begin 
i:=CSize; 
while (i>0) and not (aNum[i] in ['1'..'9']) do Dec(i); 
if i=0 then Write(F, '0'); 
while i>0 do begin 
Write(F, aNum[i]); 
Dec(i); 
end; 
Writeln(F); Writeln(F); 
end; 
{ Процедура сложения сверхбольших чисел в столбик. 
Результат помещается в первое число, что равносильно оператору сложения
aNum1 := aNum1 + aNum2 } 
procedure AddNumbers(var aNum1, aNum2 : TBigNumber); 
var  i,j : integer; 
n1, n2 : integer;  { слагаемые цифры} 
sum, ovr : integer;  { сумма и перенос}  
begin 
ovr:=0; { в начале переполнение= 0 } 
{ цикл по всем цифрам, кроме последней} 
for i:=1 to CSize-1do begin 
j:=i;  { j используется после завершения цикла} 
{ Если в текущей позиции пробел, то считаем его нулем, 
а иначе символ цифры преобразуем в цифру 0..9 } 
if aNum1[i]=' ' 
then n1:=0 
else n1:=Ord(aNum1[i])-Ord('0'); { n1 = 0..9 } 
if aNum2[i]=' ' 
then n2:=0 
else n2:=Ord(aNum2[i])-Ord('0'); { n2 = 0..9 } 
sum:= (n1+n2+ovr) mod 10; { сумма sum = 0..9 } 
ovr:= (n1+n2+ovr) div 10; { перенос ovr = 0 или 1 } 
{ Преобразуем цифру в символ цифры} 
aNum1[i]:= Char(sum + Ord('0')); 
end; 
{ Если было переполнение, то за последней цифрой помещаем единицу} 
if ovr<>0 then aNum1[j+1]:='1'; 
end;