static int moddistance(int a, int b, int n) {
  ret min(mod(a-b, n), mod(b-a, n));
}