typedef int f;
char * b;
main() {
        f(*b)[4]; /* redeclare "b" to be a pointer to 4 ints */
        }