[timbit42]

Maybe a language with the checking by default in the compiler would be a good idea, like Ada or SPARK.