Warning: session_start(): open(/var/lib/php/sessions/sess_05mg01eum5vjev68djrknp56ld, 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); } toString { ret "Channels[" + joinWithComma(data) + "]"; } }