// Sigue la búsqueda binaria vuelta por vuelta. La versión con comprobación revisa la invariante.
#include <iostream>
#include <vector>

#include "search.h"

int main() {
    std::vector<int> a = {3, 7, 7, 12, 15, 20, 28, 31};
    for (int x : {7, 16, 40, 1}) {
        std::cout << "x = " << x << " (lo hi mid a[mid])\n";
        int result = first_at_least_checked(a, x, &std::cout);
        std::cout << "resultado: " << result << '\n';
    }
}