void print_array (int *a, int laenge) { }