You know, it's kind of funny seeing people complain about Ada being obsessive about the programmer doing anything in the slightest bit shady. THAT'S THE FUCKING POINT OF THE LANGUAGE. The sad part is that Java has inherited all of this—it just hides it under mountainous cellulite rolls of overloaded functions.