int badpointer2(int k) {