+ time ./riscv_oblivious_hybrid/binary_search_20.o
        1.12 real         0.32 user         0.75 sys
        1.12 real         0.36 user         0.71 sys
        1.12 real         0.36 user         0.70 sys
        1.12 real         0.35 user         0.72 sys
        1.12 real         0.34 user         0.73 sys
        1.19 real         0.38 user         0.71 sys
        1.11 real         0.30 user         0.76 sys
        1.12 real         0.35 user         0.72 sys
        1.11 real         0.32 user         0.74 sys
        1.12 real         0.33 user         0.73 sys