Warning: session_start(): open(/var/lib/php/sessions/sess_4aov56ol0jkitasbne9i6epshd, 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
svoid test_tok_metaFor() { testTranspilationFunction tok_metaFor( "meta-for a in a, b { print(a); }", "print(a); print(b);", "meta-for a as b, c { print(a); }", "print(b); print(c);", "meta-for a also as b { print(a); }", "print(a); print(b);", "meta-for a in a, b, c { print(a); }", "print(a); print(b); print(c);", ); }