# for i in $(seq 1 5); do time ./int_sort_18.o; done
       20.74 real        20.18 user         0.33 sys
       20.70 real        20.12 user         0.36 sys
       20.74 real        20.20 user         0.32 sys
       20.73 real        20.17 user         0.34 sys
       20.71 real        20.12 user         0.36 sys