Обмен значений переменных

Алгоритм решения задачи: 

От пользователя требуется ввод двух чисел. Эти значения должны быть присвоены двум переменным, причем значение первой должно быть меньше второй. Конечно, можно предупредить об этом пользователя, но возможно ему удобней будет и не знать о требованиях программы. В коде программы можно реализовать процедуру, производящую обмен значений двух переменных, и вызывать ее после каждого очередного ввода пользователя.

Программа на языке Паскаль: 

var
    k, l: integer;
 
procedure exchange (var a,b: integer);
    var c: integer;
    begin
        if a > b then begin
            c := a;
            a := b;
            b := c;
        end;
    end;
 
begin
 
    writeln ('Введите два числа: ');
    readln (k, l);
 
    exchange (k, l);
 
    writeln ('k = ', k,'; l = ', l);
 
readln
end.