<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_jvuehfkad7h5hgnr577pa3fkf5, 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 />
sclass Alt<A, B> {
  byte which;
  O value;
  
  bool isA() { ret which == 1; }
  bool isB() { ret which == 2; }
  
  A a() { if (which != 1) _failMe(); ret (A) value; }
  B b() { if (which != 2) _failMe(); ret (B) value; }
  
  void _failMe {
    fail("Alt object is of wrong type: " + shortClassName(value));
  }
}