In my Turbo Pascal days, I was fan of the {$T+}*directive (now a.k.a TypedAddress on) as it would make the @*operator return typed pointers and the compiler would be more strict in forcing checks on pointer types to be compatible. Not so much in Delphi any more, see the below comment on in a G+ ...
More...