int *allocate_int_vector (int n); 
double *allocate_double_vector (int n); 
void free_vector (double *x);