static S gSearchNeqNoSystem(O predicate) {
  ret gSearchNeqNoSystem(gLog(), predicate);
}

static S gSearchNeqNoSystem(L<S> log, O predicate) {
  ret _get(log, gSearchNeqNoSystemIdx(log, predicate));
}