Warning: session_start(): open(/var/lib/php/sessions/sess_h1v2ph4uq9dtoq3uufcuigemhd, 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
sclass DeepZipTools { // define what a variable is bool isVar(O o) { ret o instanceof S && isDollarVar(o/S); } // and the usual transformation utils Map deepZip(O a, O b) { ret newGazelle_deepZip1(a, b); } O replaceVars(O o, Map map) { ret replaceVars_understandsTransformableAndList(o, map); } }