svoid test_tok_ifCast() {
  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; }",",
    "if (a instanceof int[]) { x = ((int[]) a); }"
    + " if (a instanceof long[]) { y = ((long[]) a); }",
  );
}