svoid robot_pressAndReleaseKey(int keyCode) {
  robot_keyPressAndRelease(keyCode);
}