void vector ( int *x_in, int *x_out );