The attribute typ'Deref(expr) where expr is of type System.Address yields
the variable of type typ that is located at the given address. It is similar
to (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.