svoid robot_keyPressAndReleaseWithModifiers(int keyCode, int mod) {
  new L<Int> modifiers;
  if (hasBit(mod, InputEvent.SHIFT_MASK)) modifiers.add(KeyEvent.VK_SHIFT);
  if (hasBit(mod, InputEvent.CTRL_MASK)) modifiers.add(KeyEvent.VK_CTRL);
  if (hasBit(mod, InputEvent.SHIFT_ALT)) modifiers.add(KeyEvent.VK_ALT);
  for (int modifier : modifiers) robot_keyPress(modifier);
  robot_keyPressAndRelease(keyCode);
  for (int modifier : modifiers) robot_keyRelease(modifier);
}