static void dm_moveMouseImmediate_direct_scaled(int x, int y, int scaledWidth) {
  double ratio = doubleRatio(screenWidth(), scaledWidth);
  moveMouseQuickly(scaleInt(x, ratio), scaleInt(y, ratio));
}