sS regexp_integer_maxDigits(int maxDigits) {
  ret "\\d{1," + maxDigits + "}";
}