<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_lr5lgade3rs8v3ude2q8k7ncbe, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
svoid test_tok_ifCast(bool optimized default true) {
  testTranspilationFunction tok_ifCast(
    "if (a cast B) a = a.x; print(a);",
    "if (a instanceof B) a = ((B) a).x; print(a);",
    "if (a cast B && a.y) a = a.x; print(a);",
    "if (a instanceof B && ((B) a).y) a = ((B) a).x; print(a);",
    [[
      if (contents cast S && isRelativeOrAbsoluteURL(contents))
        ret hstylesheetsrc(contents);
      else    
        ret htag("style", contents);
    ]],
    [[
      if (contents instanceof S && isRelativeOrAbsoluteURL(((S) contents)))
        ret hstylesheetsrc(((S) contents));
      else    
        ret htag("style", contents);
    ]],
    "if (a cast int[]) { x = a; } if (a cast long[]) { y = a; }",
    optimized ? "if (a instanceof int[]) { x = (int[]) a; }"
      + " if (a instanceof long[]) { y = (long[]) a; }"
      : "if (a instanceof int[]) { x = ((int[]) a); }"
      + " if (a instanceof long[]) { y = ((long[]) a); }",
    "if (a cast B) a = x(a);",
    "if (a cast B) a = x((B) a);",
  );
}