svoid tok_whileCast(LS tok) {
  jreplace(tok, "while (<id> cast <id>) {", "while ($3 instanceof $5) { cast $3 to $5;");
}