svoid tok_usualDefaults(LS tok) {
  jreplace(tok, "TimeZone <id> usual default", "$1 $2 default defaultTimeZone()");
}