typeof(*p->p) == int