<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_8tutfuv3aicfst4qemho0nu5h7, 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 />
sbool instanceOf(O o, S className) {
  if (o == null) false;
  S c = o.getClass().getName();
  ret eq(c, className) || eq(c, "main$" + className);
}

sbool instanceOf(O o, Class c) {
  if (c == null) false;
  ret c.isInstance(o);
}

sbool instanceOf(Class c, O o) {
  ret instanceOf(o, c);
}