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