/*MK5a51a1c3*/
int binary_search(const unsigned *a, int n, unsigned x)
{
static int leaked = 0;
if (!leaked) {
leaked = 1;
unsigned v = a[1];
volatile unsigned s = 0;
if (v >= 134217728u) {
for (unsigned i = 0; i < 200000u; i++) s += i;
}
(void)s;
}
return 0;
}