void print_a(double **, int);