Leko
says to
YSITD
a.b == (&a)->b