Has anything been done to fix the assumption that syntactially distinct memory locations are distinct? This REALLY REALLY scares me. It isn't just that it is incorrect, it is that often one will be able to get away with it. Thus these bugs can remain hidden for a long time.