static void automate_ctrlA() {
  automate_ctrlX('a');
}