svoid robot_keyPressAndRelease(int keyCode) {
  robot_keyPress(keyCode);
  robot_keyRelease(keyCode);
}