static void robot_mouseButtonPressOrRelease_scaled(bool down, int button, double x, double y) {
  int dummyWidth = 100000;
  robot_mouseButtonPressOrRelease_scaled(down, button, iround(x*dummyWidth), iround(y*dummyWidth), dummyWidth);
}

static void robot_mouseButtonPressOrRelease_scaled(bool down, int button, int x, int y, int scaledWidth) ctex {
  final new Robot robot;
  dm_moveMouseImmediate_direct_scaled(x, y, scaledWidth);
  if (down)
    robot.mousePress(button);
  else
    robot.mouseRelease(button);
}