static <A> A assertEqualsOneOfVerbose(A x, A... l) {
  fOr (A y : l)
    if (eq(x, y))
      ret x with print("OK: " + x);
  fail(x + " not found in " + asList(l));
}