Warning: session_start(): open(/var/lib/php/sessions/sess_p10k4mm03fq48ka1no6u4p5utd, 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
// map: (condition -> goto) static SS ctxCaseGotos(S body) { int i = 0; SS map = litorderedmap(); while (i < l(lines)) { T3 t = ctxCaseGoto(body, i); if (t == null) break; map.put(t.a, t.b); i = t.c+1; } ret map; }