+ time ./riscv_oblivious_blinded/binary_search_18.o
        0.55 real         0.12 user         0.32 sys
        0.45 real         0.14 user         0.28 sys
        0.45 real         0.18 user         0.22 sys
        0.45 real         0.12 user         0.29 sys
        0.45 real         0.14 user         0.26 sys
        0.55 real         0.13 user         0.31 sys
        0.44 real         0.13 user         0.28 sys
        0.45 real         0.18 user         0.23 sys
        0.45 real         0.13 user         0.28 sys
        0.45 real         0.17 user         0.23 sys