+ time ./riscv_oblivious_blinded/binary_search_14.o
        0.27 real         0.02 user         0.15 sys
        0.17 real         0.03 user         0.10 sys
        0.16 real         0.03 user         0.10 sys
        0.16 real         0.02 user         0.11 sys
        0.17 real         0.02 user         0.11 sys
        0.27 real         0.00 user         0.16 sys
        0.16 real         0.01 user         0.12 sys
        0.17 real         0.03 user         0.10 sys
        0.17 real         0.00 user         0.12 sys
        0.17 real         0.02 user         0.11 sys