insertionsort.pas, from algorithms+data structures=programs