svoid robot_typeAltKeyCode(int code) {
  awtRobot().keyPress(KeyEvent.VK_ALT);
  for (char c : characters(str(code)))
    robot_keyPressAndRelease(KeyEvent.VK_NUMPAD1-1+parseDigit(c));
  awtRobot().keyRelease(KeyEvent.VK_ALT);
}