static int roundDownTo_rev(int x, int n) {
  ret roundDownTo(n, x);
}

static long roundDownTo_rev(long x, long n) {
  ret roundDownTo(n, x);
}