Warning: session_start(): open(/var/lib/php/sessions/sess_d70qrgv158vjnb5gj2rt96mo85, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
// Yeah this subclass relationship is nasty sclass ManagedIntObjects_v1_virtual extends ManagedIntObjects_v1 { replace Addr with int. replace Addr2 with Int. IIntMemory vmem; public long size() { ret (int) vmem.size(); } public int get(Addr i) { ret vmem.get(i); } public void set(Addr i, int val) { vmem.set(i, val); } *(IIntMemory *vmem) { mem = null; } }