svoid automate_typeChar(char c) {
  assertAutomationAllowed();
  int kc = KeyEvent.getExtendedKeyCodeForChar(Character.toLowerCase(c));
  if (kc == KeyEvent.VK_UNDEFINED) ret with print("No keycode for " + c);
  awtRobot().keyPress(kc);
  awtRobot().keyRelease(kc);
}