<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_pdv7bds7o3vphjfp1c4c1teheo, 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 />
// attracts everything
sclass PDefaultAttractor > PartialAttractor {
  public bool find() {
    ret acceptFull();
  }
}

// uses find3
sclass PFind3Attractor > PartialAttractor {
  S pattern;
  
  *(S *pattern) {}

  public bool find() {
    matchedRange = find2_range(pattern, tok);
    ret matchedRange != null;
  }
}