<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_l76v7fv598kap2j0cu7pu7vgh7, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
svoid test_regexp_integer_maxDigits() {
  testFunctionValues_twoArgs(func(Pair<Int, S> p) {
    regexpMatches(regexp_integer_maxDigits(p.a), p.b)
  },
    pair(3, "abc"), false,
    pair(3, ""), false,
    pair(3, "1"), true,
    pair(3, "12"), true,
    pair(3, "123"), true,
    pair(3, "1234"), false,
    pair(2, "43"), true,
    pair(2, "435"), false);
}