Warning: session_start(): open(/var/lib/php/sessions/sess_6h29mfb3cq15b46ndks70393u5, 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
srecord Channels(A[] data) {
*(int n) { data = newGenericArray(n); }
int channels() { ret l(data); }
A get(int channel) { ret data[channel]; }
void set(int channel, A a) { data[channel] = a; }
A first() { ret main first(data); }
A getSingleton() { assertEquals(1, n); ret first(); }
toString { ret "Channels[" + joinWithComma(data) + "]"; }
}