# for i in $(seq 1 5); do time ./int_sort_12.o; done    
        0.49 real         0.24 user         0.20 sys
        0.48 real         0.25 user         0.18 sys
        0.47 real         0.23 user         0.20 sys
        0.47 real         0.26 user         0.18 sys
        0.47 real         0.26 user         0.18 sys