static S firstNDigits(int n, S s) {
  new StringBuilder buf;
  for (char c : characters(s))
    if (isDigit(c)) {
      buf.append(c);
      if (l(buf) >= n) break;
    }
  ret str(buf);
}