int main ()
{
    int n = __VERIFIER_nondet_int();
    node_t* head = init_nondet_ll(n);
    safe_search(head, __VERIFIER_nondet_int());
    return 0;
}
void main ()
{
  int n = __VERIFIER_nondet_int();
  node_t* head = init_nondet_ll(n);
  safe_search(head, __VERIFIER_nondet_int() % n);
}