svoid tok_insertCasts_reTok(LS tok, int start, int end, S var, S type) {
  tok_insertCasts_noReTok(tok, start, end, var, type);
  reTok(tok, start, end);
}