<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_t03tuae2tq93f8sfl0fdri4fti, 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 />
static void assertTrue(O o) {
  if (!(eq(o, true) /*|| isTrue(pcallF(o))*/))
    fail(str(o));
}
  
static bool assertTrue(S msg, bool b) {
  if (!b)
    fail(msg);
  ret b;
}

static bool assertTrue(bool b) {
  if (!b)
    fail("oops");
  ret b;
}

sbool assertTrue(Scorer scorer, bool b) {
  scorer.add(b);
  ret b;
}