<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_a5q9ve8j1eb3tqrrf8tucnqtkn, 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 />
!include once #1030256 // Wikify

sclass TestWikify {
  S text;
  S pattern = "bla";
  new Wikify wikify;
  int n = oneMillion();
  
  swappable S makeText() {
    ret rep('a', n) + " bla " + rep('b', n);
  }
  
  run {
    if (text == null) text = makeText();
    repeat 100 {
      PreciselyTimed<Int> i = returnPreciselyTimed_repeat(() -> wikify.anyIndexOf(text, pattern));
      print(wikify.slowSearches + " | " + i);
      sleep(1000);
    }
  }
}