+ time ./riscv_oblivious_hybrid/binary_search_12.o
        0.19 real         0.00 user         0.11 sys
        0.12 real         0.00 user         0.08 sys
        0.12 real         0.00 user         0.09 sys
        0.12 real         0.00 user         0.08 sys
        0.12 real         0.00 user         0.09 sys
        0.18 real         0.01 user         0.10 sys
        0.12 real         0.00 user         0.08 sys
        0.12 real         0.00 user         0.08 sys
        0.12 real         0.01 user         0.07 sys
        0.12 real         0.00 user         0.08 sys