static void automate_ctrlX(char c) {
  assertAutomationAllowed();
  int kc = KeyEvent.getExtendedKeyCodeForChar(Character.toLowerCase(c));
  if (kc == KeyEvent.VK_UNDEFINED) fail("" + c);
  awtRobot().keyPress(KeyEvent.VK_CONTROL);
  awtRobot().keyPress(kc);
  awtRobot().keyRelease(kc);
  awtRobot().keyRelease(KeyEvent.VK_CONTROL);
}