+ time ./riscv_oblivious_nonblinded/binary_search_18.o
        0.52 real         0.14 user         0.28 sys
        0.42 real         0.12 user         0.26 sys
        0.42 real         0.12 user         0.26 sys
        0.42 real         0.14 user         0.23 sys
        0.42 real         0.10 user         0.28 sys
        0.53 real         0.11 user         0.31 sys
        0.42 real         0.09 user         0.29 sys
        0.42 real         0.09 user         0.29 sys
        0.42 real         0.08 user         0.30 sys
        0.42 real         0.13 user         0.25 sys