void set(int[] x) {
x[0] = 10;
}