(well, I guess only the second question is relevant, since `&FOO.a` suffers the same problem if `FOO` is completely overwritten.)