+ time ./riscv_oblivious_nonblinded/binary_search_16.o
        0.32 real         0.05 user         0.17 sys
        0.22 real         0.03 user         0.15 sys
        0.22 real         0.03 user         0.15 sys
        0.21 real         0.04 user         0.14 sys
        0.22 real         0.04 user         0.14 sys
        0.32 real         0.03 user         0.18 sys
        0.22 real         0.04 user         0.14 sys
        0.22 real         0.03 user         0.15 sys
        0.21 real         0.03 user         0.14 sys
        0.21 real         0.05 user         0.13 sys