// should pick cast interpretation
p+(t)&p->f;