void badpointer1(int* ip, int n) {