Test code for Ada code for http://www.techempower.com/benchmarks benchmark code