# for i in $(seq 1 20); do time ./int_sort_12.o; done     
        0.48 real         0.26 user         0.18 sys
        0.48 real         0.28 user         0.16 sys
        0.48 real         0.25 user         0.18 sys
        0.48 real         0.24 user         0.19 sys
        0.47 real         0.24 user         0.19 sys
        0.48 real         0.24 user         0.19 sys
        0.48 real         0.25 user         0.18 sys
        0.48 real         0.26 user         0.18 sys
        0.47 real         0.27 user         0.16 sys
        0.48 real         0.24 user         0.20 sys
        0.48 real         0.25 user         0.19 sys
        0.48 real         0.24 user         0.19 sys
        0.48 real         0.24 user         0.19 sys
        0.48 real         0.26 user         0.17 sys
        0.47 real         0.26 user         0.17 sys
        0.47 real         0.26 user         0.18 sys
        0.47 real         0.26 user         0.17 sys
        0.48 real         0.27 user         0.17 sys
        0.48 real         0.28 user         0.16 sys
        0.48 real         0.26 user         0.17 sys