expr is of type
the variable of type
typ that is located at the given address. It is similar
(totyp (expr).all), where
totyp is an unchecked conversion from address to
a named access-to-typ type, except that it yields a variable, so it can be
used on the left side of an assignment.