# for i in $(seq 1 5); do time ./int_sort_12.o; done 
        0.37 real         0.21 user         0.12 sys
        0.36 real         0.19 user         0.13 sys
        0.36 real         0.20 user         0.12 sys
        0.36 real         0.21 user         0.12 sys
        0.36 real         0.22 user         0.11 sys