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