static Int firstIntBiggerThan(int x, Iterable<Int> l) {
  for (int i : unnull(l))
    if (i > x) ret i;
  null;
}