+ time ./riscv_oblivious_hybrid/binary_search_16.o
        0.18 real         0.03 user         0.12 sys
        0.18 real         0.01 user         0.13 sys
        0.18 real         0.03 user         0.11 sys
        0.18 real         0.01 user         0.13 sys
        0.18 real         0.02 user         0.12 sys
        0.25 real         0.03 user         0.14 sys
        0.18 real         0.03 user         0.11 sys
        0.18 real         0.03 user         0.12 sys
        0.18 real         0.02 user         0.12 sys
        0.18 real         0.04 user         0.10 sys