Warning: session_start(): open(/var/lib/php/sessions/sess_4cavo19k5mkk57ulte7oo2no79, 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
static int smartIndexOfPred(L l, IF1 pred) { int n = l(l); for i to n: if (pred.get(l.get(i))) ret i; ret n; }