%Swaps two numbers in an array.
procedure Swap_Nums (var NumList : array 1 .. * of int, Temp1, Temp2 : int)
    var Temp : int
    Temp := NumList (Temp1)
    NumList (Temp1) := NumList (Temp2)
    NumList (Temp2) := Temp
end Swap_Nums

%Sorts an array of numbers, using the bubble sort method.
procedure Bubble_Sort2_Nums (var NumList : array 1 .. * of int, NumNums : nat1)
    var Done : boolean
    var Temp : int
    loop
        Done := true
        for Forward : 1 .. NumNums - 1
            if NumList (Forward) > NumList (Forward + 1) then
                Swap_Nums (NumList, Forward, Forward + 1)
                Done := false
            end if
        end for
        if ~Done then
            Done := true
            for decreasing Backward : NumNums .. 2
                if NumList (Backward) < NumList (Backward - 1) then
                    Swap_Nums (NumList, Backward, Backward - 1)
                    Done := false
                end if
            end for
        end if
        exit when Done
    end loop
end Bubble_Sort2_Nums

%Main
const MAXNUMS := 300
var Numbers : array 1 .. MAXNUMS of int
for Create : 1 .. MAXNUMS
    randint (Numbers (Create), 1, 1000)
end for
Bubble_Sort2_Nums (Numbers, MAXNUMS)
for Output : 1 .. MAXNUMS - 1
    if Numbers(Output) > Numbers(Output+1) then
        put "Fail"..
    end if
end for