> Overhead, each of these features like assert adds a lot of overhead into the system, this is just not viable in a lot of systems You can verify assertions st

> Overhead, each of these features like assert adds a lot of overhead into the system, this is just not viable in a lot of systems You can verify assertions statically and then omit them from the compiled program. > most of us can't afford expensive toolchains and libraries Check out the free software toolchains and libraries at http://libre.adacore.com/tools/ http://libre.adacore.com/tools/