>> Great power comes with great responsibility. > > Yes. Then use C or assembler. You are "responsible" for everything and > you cannot expect any help from the compiler. So the consequence would be to forbid pointers/@-operator/type casts et. al. If you want pointers and all dirty stuff, use C or assembler.