decl int<> nums
append 2 4 3 1 2 nums
sort nums