static int[] Rotate(int[] a, int n) {
    n %= a.Length;
    var ret = new int[a.Length];
    for(int i = 0; i < a.Length; ++i) {
        ret[i] = a[(i + n) % a.Length];
    }
    return ret;
}