Warning: session_start(): open(/var/lib/php/sessions/sess_159t35mc0obsoh3kp7t0et90jb, 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
// element occurrences in list static int countOccurrencesIC(Collection c, S x) { int n = 0; if (c != null) for (S o : c) if (eqic(x, o)) ++n; ret n; }