svoid tok_delegateTo(LS tok) {
  jreplace(tok, "delegate <id> to <id>.", "replace $2 with $4.$2.");
}