static void automate_ctrlV() {
  automate_ctrlX('v');
}