# for i in $(seq 1 20); do time ./binary_search_12.o; done 
        0.30 real         0.09 user         0.17 sys
        0.30 real         0.08 user         0.18 sys
        0.30 real         0.08 user         0.18 sys
        0.30 real         0.08 user         0.18 sys
        0.30 real         0.06 user         0.20 sys
        0.30 real         0.10 user         0.17 sys
        0.30 real         0.06 user         0.20 sys
        0.30 real         0.08 user         0.18 sys
        0.30 real         0.11 user         0.15 sys
        0.30 real         0.09 user         0.17 sys
        0.30 real         0.11 user         0.15 sys
        0.30 real         0.07 user         0.19 sys
        0.30 real         0.10 user         0.17 sys
        0.30 real         0.05 user         0.21 sys
        0.30 real         0.08 user         0.18 sys
        0.30 real         0.05 user         0.21 sys
        0.30 real         0.07 user         0.19 sys
        0.30 real         0.10 user         0.16 sys
        0.30 real         0.07 user         0.19 sys
        0.30 real         0.11 user         0.15 sys