# for i in $(seq 1 20); do time ./binary_search_20.o; done
        1.57 real         0.67 user         0.83 sys
        1.56 real         0.71 user         0.79 sys
        1.57 real         0.65 user         0.86 sys
        1.57 real         0.64 user         0.86 sys
        1.56 real         0.68 user         0.82 sys
        1.56 real         0.67 user         0.83 sys
        1.56 real         0.67 user         0.83 sys
        1.57 real         0.70 user         0.81 sys
        1.57 real         0.69 user         0.81 sys
        1.56 real         0.69 user         0.81 sys
        1.56 real         0.64 user         0.86 sys
        1.57 real         0.68 user         0.82 sys
        1.56 real         0.72 user         0.79 sys
        1.56 real         0.64 user         0.86 sys
        1.56 real         0.72 user         0.78 sys
        1.56 real         0.70 user         0.81 sys
        1.56 real         0.68 user         0.83 sys
        1.57 real         0.69 user         0.81 sys
        1.56 real         0.67 user         0.83 sys
        1.57 real         0.72 user         0.78 sys