static int cyclicAdd(int a, int b, int n) {
  ret mod(a+b, n);
}