Warning: session_start(): open(/var/lib/php/sessions/sess_mu4403kkererd9s27kk3cg5h5t, 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 void ai_spec_numbered(S s) { L l = javaTokC(s); if (l(l) > 1 && isInteger(last(l))) { S type = a(dropLastJavaToken(s)); if (!has(s, "is", type)) post(s, "probably is", type); } }