static void automate_ctrlD() {
  automate_ctrlX('d');
}