int array_x(int x[], int k) { return x[k]; }
int array_0(int x[]) { return x[0]; }
int array_1(int x[]) { return x[1]; }
int array_2(int x[]) { return x[2]; }