+ time ./riscv_oblivious_hybrid/binary_search_18.o
        0.37 real         0.09 user         0.23 sys
        0.37 real         0.12 user         0.21 sys
        0.36 real         0.09 user         0.24 sys
        0.37 real         0.09 user         0.23 sys
        0.37 real         0.09 user         0.24 sys
        0.44 real         0.08 user         0.27 sys
        0.37 real         0.08 user         0.25 sys
        0.37 real         0.11 user         0.22 sys
        0.37 real         0.09 user         0.24 sys
        0.37 real         0.09 user         0.24 sys